PolynomialExtendedGCD[9 - 3 x + x^2, x^3 - 3, x]