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
```

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.