is_labeled_lcm_greater( Pa p1, Pa p2)

Type:

Predicate

Defined in:

pa.c.trace

Returns TRUE if the lcm of the leading monomials of p1 is greater than the lcm of the leading monomials of p2. In case the lcms are equal it returns TRUE if the pair of labels of p1 is lexicographically greater than the pair of labels of p2. It is an implementation of virtual predicate is_labeled_pa_greater.

See also:

Section 5.2, is_labeled_pa_greater.