insert_lps( LP lp, PS ps)

Type:

Virtual Function

Defined in:

CU.ps2pl

A labeled polynomial lp is inserted into an ordered set of labeled polynomials ps. The set is in ascending order w.r.t. is_leading_monomial_greater_lp.

See also:

Section 4.5.