**Type:**- Function
**Defined in:**- reductions.c.trace
- Polynomials whose leading monomial is a multiple of one of the other
polynomials are deleted from the set
`ps`. Each of the remaining polynomials is completely reduced w.r.t.`ps`. **See also:**-
`canceled_multiples_ps`,`completely_reduced_ps`.

Thu Sep 3 14:50:07 MDT 1998