Euclidean division of polynomials