is_leading_monomial_greater_lp( LP lp1, LP lp2)

Type:

Predicate

Defined in:

lp.c

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

See also:

is_leading_monomial_greater_poly.