Revision history [back]

I want to write a function, which i give a non commutative polynomial and matrices in indeterminates for each variable in the polynomial. Then i want to plug the matrices into the polynomial and simplify. But i dont know how to insert these matrices. It would be nice if someone could give a simple example which shows how i insert matrices in indeterminates into a polynomial