1 | initial version |
For me it looks like a bug to me. However it seems to work as follows (the example in the documentation uses it)
sage: R.<x,y> = FreeAlgebra(QQ, implementation='letterplace')
sage: I = R*[x*y-y*x]*R
sage: Q.<a,b> = R.quo(I)
sage: a*b
b*a
sage: a*a*b == a*b*a == b*a*a
True
sage: Q.is_commutative()
2 | No.2 Revision |
For me it It looks like a bug to me. However it seems to work as follows (the example in the documentation uses it)
sage: R.<x,y> = FreeAlgebra(QQ, implementation='letterplace')
sage: I = R*[x*y-y*x]*R
sage: Q.<a,b> = R.quo(I)
sage: a*b
b*a
sage: a*a*b == a*b*a == b*a*a
True
sage: Q.is_commutative()
True