PolynomialExtendedGCD[x^4-2,2-x,x]