# Symbolic non-commutative algebra

Consider 3 noncommutative elements. $$A, B, C$$ and we have the relationship $$CB = BC$$.

I want to compute things like: $$(A otimes BC) (B otimes B) = AB otimes alpha B ^ 2C$$

Is there a package doing this?