next up previous contents index
Next: inter_reduced_ps( PS ps) Up: Reference Manual Previous: insert_pl( Poly p

insert_ps( Poly p, PS ps)

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

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