If I am not mistaken again, the noncommutative part of Singular (which is commonly referred to as "Plural") can deal with that kind of relations. Unfortunately, Plural is still waiting to be fully included into Sage, see trac ticket #4539, for example.
It is described at http://www.singular.uni-kl.de/Manual/latest/sing_436.htm#SEC476 (for starters) how to set up a non-commutative ring in Singular. It is possible to use these features in Sage, namely using the pexpect interface to Singular (see http://www.sagemath.org/doc/reference/sage/interfaces/singular.html). But with #4539 it would become less awkward and also faster. 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
