next up previous contents index
Next: insert_pl( Poly p Up: Reference Manual Previous: insert_ppoly_pl( PPoly p

insert_ppoly_ps( PPoly p, PS ps)

Virtual Function
Defined in:
A polynomial p of type PPoly is inserted into an ordered set of polynomials ps. The set is in ascending order w.r.t. is_leading_monomial_greater_ppoly.
See also:
Section 4.5, Section 4.4.2.

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