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
