The Division Package

divide

$\parbox{\pboxargslen}{\em f fl {\sf \&optional} (pred \char93 'lex$\gt$) (ring *coefficient$-$ring*) {\sf \&aux} (s (length fl)) \/}$ [FUNCTION]

Divide polynomial F by a list of polynomials FL; use predicate PRED to sort monomials; assumes that the polynomials have initially been sorted according to PRED. It returnes multiple values. The first value is a list of quotients A. The second value is the remainder R. These object satisfy the quation F = SUM A[J]*FL[I] + R.

poly$-$exact$-$divide

$\parbox{\pboxargslen}{\em f g {\sf \&optional} (order \char93 'lex$\gt$) (ring *coefficient$-$ring*) \/}$ [FUNCTION]

Divide a polynomial F by another polynomial G. Assume that exact division with no remainder is possible. Returns the quotient.