Polynomial greatest common divisor