answered 13 years ago
With the just-finished plural wrapper for Sage http://trac.sagemath.org/sage_trac/ticket/4539 you could also implement the (non-commutative) algebra of gamma matrices in an abstract way.