insert_ppoly_ps( PPoly p, PS ps)

Type:

Virtual Function

Defined in:

CU.ps2pl

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.