Maxima Function
poly_exact_divide (poly1, poly2, varlist)
Divide a polynomial poly1 by another polynomial poly2. Assumes that exact division with no remainder is possible. Returns the quotient.