PolynomialGCD(x^2-2,x-\sqrt(2))