PolynomialExtendedGCD[x^2+1,x^3-4x+7,x]