Euclidean division
Euclidean division of polynomials