Reduces a polynomial modulo a list of polynomials in a single variable.
PolynomialReduce[poly, {poly1, poly2, …}, {x1, x2, …}]
PolynomialReduce[x^2 + 1, {x + 1}, x]
→ {{-1 + x}, 2}PolynomialReduce[x^3 + 2 x + 1, {x^2 + 1, x + 1}, x]
→ {{x, 1}, 0}PolynomialReduce[x^3, {x - 1}, x]
→ {{1 + x + x^2}, 1}PolynomialReduce[x^2, {3 x + 1}, x]
→ {{-1/9 + x/3}, 1/9}PolynomialReduce[x^2 + 1, {x^3 + 1}, x]
→ {{0}, 1 + x^2}- MonomialOrder — default Lexicographic
- CoefficientDomain — default Rationals
- Modulus — default 0