I want to manipulate polynomials in two non-commuting variables, over the field of rational numbers. I read some of the help concerning Ore algebras, and also some of the help concerning the Physics package (where there are non-commuting variables), but unfortunately I could not understand much of what I read! For someone who is not a Maple virtuoso, is there a simple way to work with non-commutative polynomials?
I also tried the “do-it-yourself” approach, i.e., defining a non-commutative multiplication via a neutral operator &*. This time I had some success, but I ran into problems when I tried to extract the coefficient of a given monomial in a given polynomial. In the file NonCommutPolynomials.mw
you can see that the Maple command “coeff” gives me the correct answer only when the degree of the monomial is strictly greater than 1. I have no idea how to extract the coefficient of x, or of y, or how to get the constant term of the polynomial — and extracting coefficients is something I need to do!