**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`.

Thu Sep 3 14:50:07 MDT 1998