is_leading_monomial_greater_poly( Poly p1, Poly p2)

Type:

Virtual Predicate

Defined in:

CU.poly2pc or CU.poly2ppoly

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.1.