https://reference.wolfram.com/language/ref/NonCommutativePolynomialReduce.html
NonCommutativePolynomialReduce: Reduce a polynomial modulo a list of polynomials over a...
NonCommutativePolynomialReduce is used to reduce a polynomial modulo a list of polynomials over a non-commutative algebra.
list ofreducepolynomialmodulo