Next: completely_reduced_pl( PL pl)
Up: Reference Manual
Previous: completely_reduced_lpl( PL pl)
- Virtual Function
- Defined in:
- Each polynomial in the set of labeled polynomials ps
is reduced w.r.t. the remaining polynomials. In the algorithm it is assumed that
none of the polynomials has a leading monomial that is a multiple of one of
the remaining leading monomials.
- See also:
- inter_reduced_ps, canceled_multiples_ps.
Thu Sep 3 14:50:07 MDT 1998