Re: [sage-devel] Callable Symbolic Ring and the category framework

2010-05-11 Thread Mike Hansen
On Tue, May 11, 2010 at 12:48 PM, Jason Grout wrote: > f(x)=x^2 (SR --> SR) > > f(x,y,z)=x*y (SR^3 --> SR) > > f(x,y,z)=[x*y,y+z]  (SR^3 --> SR^2) > > using the category framework? What would you want to do once you have those maps? --Mike -- To post to this group, send an email to sage-devel@

[sage-devel] Callable Symbolic Ring and the category framework

2010-05-11 Thread Jason Grout
This might be opening a can of worms, but... Currently the callable symbolic ring (i.e., what we get when we do something like f(x)=x^2) blissfully ignores the infrastructure in Sage for defining maps. Instead, (to the best of my knowledge) callable symbolic elements are just simple sugar ove