completely_reduced_lps( PS ps)

Type:

Virtual Function

Defined in:

CU.ps2pl

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.