simplify PolynomialExtendedGCD[x^31+30x+31,x^2+x+1,x]