next up previous contents index
Next: completely_reduced_pl( PL pl) Up: Reference Manual Previous: completely_reduced_lpl( PL pl)

completely_reduced_lps( PS ps)

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.

windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998