Polynomial Division

The algorithm that, given a dividend and a nonzero divisor polynomial over a coefficient domain, produces a quotient polynomial and a remainder polynomial whose degree is strictly less than that of the divisor—provided the coefficient domain supports the required coefficient inverses (e.g., a field).