next up previous contents index
Next: insert_ppoly_pl( PPoly p Up: Reference Manual Previous: insert_lpl( LP lp

insert_lps( LP lp, PS ps)

Virtual Function
Defined in:
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.

windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998