I'm new to sage and need to work with polynomials in non-commuting variables but with symbolic rational coefficients. Looking through Lie algebras here and FreeAlgebra I can see hints that this is possible but it is not clear how I can do this where I can expand expressions and collect symbolic coefficients of the non-commuting monomials of the polynomials.
Any help or suggestions would be welcome.
