next up previous contents index
Next: is_labeled_pa_greater( Pa p1 Up: Reference Manual Previous: is_greater_rn( RN r1

is_labeled_lcm_greater( Pa p1, Pa p2)

Type:
Predicate
Defined in:
pa.c.trace
tex2html_wrap_inline6634
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.



windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998