Googling seems to show that Sage supports calculations in certain non-commutative rings (see e.g. http://trac.sagemath.org/sage_trac/ticket/4539).
However I'm having trouble finding enough documentation to get started with this. Can anyone point me to some, or failing this say how to build a g-algebra, add and multiply elements, and test elements for equality? Thank you!
