I am extremely new to Sage, and even newer to this site, so I apologize if anything is not up to standards.
I am dealing with a multivariable polynomial ring over $\mathbb{Z}$ with noncommuting variables. Is there a way to implement this with Sage? The closest thing I have found is FreeAlgebra, where the variables are noncommutative, but I have not found any way to impose relations that I want.
As stated before, I am extremely new to all of this so don't assume that I know anything, and don't hesitate to give any and all suggestions.
