is_greater_mon_pair_order( Mon m1, Mon m2)

Type:

Virtual Predicate

Defined in:

GB.po.setup

Returns TRUE if m1 > m2 w.r.t. to the chosen ordering for polynomial pairs. This predicate determines the ordering of monomials to be used for ordering polynomial pairs.

See also:

Section 5.2,
is_lexical_greater_mon,
is_matrix_greater_mon,
is_total_degree_inverse_lexical_greater_mon,
is_total_degree_lexical_greater_mon.