Extended GCD of two polynomials: returns `{g, {s, t}}` where `g` is the monic
PolynomialExtendedGCD[poly1, poly2, x]
PolynomialExtendedGCD[poly1, poly2, x, Modulus -> p]
PolynomialExtendedGCD[x^2 - 1, x^2 - 3 x + 2, x]
→ {-1 + x, {1/3, -1/3}}PolynomialExtendedGCD[x^4 - 1, x^3 - 1, x]
→ {-1 + x, {1, -x}}PolynomialExtendedGCD[x^2 + 1, x + 1, x]
→ {1, {1/2, (1 - x)/2}}- Method — default Automatic
- Modulus — default 0