On Wednesday 05 September 2007 20:54, William Stein wrote: > > sage: M.<x,y> = FreeMonoid(2) > > sage: (x*y).substitute(x=1) > > x*y # I would think that this is 1*y > > > > > > > > > > I find that result unsatisfactory as well, but I sure don't have a good > > idea about what ring (?) the result '1*y' would be a part of. > > Just do the arithmetic. All monoids have a 1 by definition, so 1*y > is just "y" > in that monoid.
I should have substituted something more exotic to make my point clearer. What if I were to substitute 'x=<a matrix element>' which is what I actually wanted to do? This makes sense (mostly) if you simultaneously substitute x & y with compatibly sized matrices, but it seems a little strange to only substitute one of them. -- Joel --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://sage.math.washington.edu/sage/ and http://sage.scipy.org/sage/ -~----------~----~----~----~------~----~------~--~---
