is_leading_monomial_greater_ppoly( PPoly p1, PPoly p2)

Type:

Virtual Predicate

Defined in:

CU.ppoly2dpl

Returns TRUE if the leading monomial of p1 is greater than the leading monomial of p2 w.r.t. the chosen ordering on monomials is_greater_mon.

See also:

Section 4.4.2.