Comments

1

It is possible, of course, its just a matter of figuring out how to do it. The specific algebras you are interested are fairly special. AFAIK these are not implemented in Sage and implementation of tensor algebras is not very deep.
I would like to see someone who has experience developing algebraic computations by extending existing Sage classes and using the categories and coercion framework write a tutorial on this.