**Type:**- Virtual Function
**Defined in:**- CU.ps2pl
- An unlabeled polynomial
`p`is inserted into an ordered set of unlabeled polynomials`ps`. The set is in ascending order w.r.t.`is_leading_monomial_greater_poly`. **See also:**- Section 4.5.

Thu Sep 3 14:50:07 MDT 1998