show/hide this revision's text 2 added 90 characters in body

There is this non-commutative algebra package for Mathematica that is quite extensive

It can handle the symbolic computations in the question, among many other things.

show/hide this revision's text 1

There is this non-commutative algebra package for Mathematica that is quite extensive http://www.math.ucsd.edu/~ncalg/