gcd (x^3-2, x + 1)