On 9/5/07, Joel B. Mohler <[EMAIL PROTECTED]> wrote: > I'm wishing for a ZZ[x,y] where xy!=yx, but I can't seem to find the way to > construct such a creature. Is it not yet implemented? > > In reality, I really only want a monomial so it pretty much boils down to a > free group on x and y, but the polynomial ring would make for some pretty > syntax elsewhere in my application (i.e. substituting matrices in for x & y).
sage: R.<x,y> = FreeAlgebra(ZZ,2) sage: R Free Algebra on 2 generators (x, y) over Integer Ring sage: x*y - y*x x*y - y*x Or maybe you really want a free monoid? sage: M.<x,y> = FreeMonoid(2) sage: x*y*x*x*y x*y*x^2*y sage: (x*y*x*x*y)^3 x*y*x^2*y*x*y*x^2*y*x*y*x^2*y David Kohel wrote FreeMonoid and FreeAlgebra, by the way.... William --~--~---------~--~----~------------~-------~--~----~ 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/ -~----------~----~----~----~------~----~------~--~---
