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)

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