is_greater_mon( Mon m1, Mon m2)

Type:

Virtual Predicate

Defined in:

GB.to.setup

Returns TRUE if m1 > m2 w.r.t. to the chosen term ordering. This predicate determines the ordering of monomials in a polynomial.

See also:

Section 5.1,
is_lexical_greater_mon,
is_matrix_greater_mon,
is_total_degree_inverse_lexical_greater_mon,
is_total_degree_lexical_greater_mon.