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