Definition:Greatest Common Divisor of Polynomials