How to insert matrices in indeterminates into noncommutative polynomials
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
Some work in progress in https://github.com/sagemath/sage/pull...