greatest common divisor of two polynomials