Euclid%27s algorithm for polynomials