Hello, This is exactly what I was looking for, thank you. But now I also have a second question: is it possible to add inverses for x and y? I would also like to calculate things like 1/(x+y)^10.
Best regards, Noud On 15 March 2012 14:31, Simon King <[email protected]> wrote: > Hi Noud! > > On 15 Mrz., 13:28, Noud Aldenhoven <[email protected]> wrote: >> Is it possible to make a non-commutative ring over QQ with three >> generators x, y and z in Sage? So is it possible to make some sort of >> polynomial ring Q[x, y, z] with the extra properties that xy /= yx, xz >> /= zx and yz /= zy? > > Do you mean a free associative unital algebra? > sage: F.<x,y,z> = FreeAlgebra(QQ,3) > sage: x*y == y*x > False > > Note that in sage-5.0 it will be possible to define so-called G- > algebras (See http://www.singular.uni-kl.de/Manual/3-1-3/sing_452.htm > for example) > > Or do you mean different kind of algebras? > > Cheers, > Simon > > -- > To post to this group, send email to [email protected] > To unsubscribe from this group, send email to > [email protected] > For more options, visit this group at > http://groups.google.com/group/sage-support > URL: http://www.sagemath.org -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
