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)

Type:
Virtual Function
Defined in:
CU.ps2pl
tex2html_wrap_inline6634
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