next up previous contents index
Next: is_leading_monomial_greater_dpl( DPL p1 Up: Reference Manual Previous: is_labeled_pa_greater( Pa p1

is_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. It is an implementation of virtual predicate is_pa_greater.
See also:
Section 5.2, is_pa_greater.


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