New: dividing-polynomials