PolynomialExtendedGCD[x^4 + x + 1, 4 x^3 + 1]