next up previous contents index
Next: is_leading_monomial_greater_ppoly( PPoly p1 Up: Reference Manual Previous: is_leading_monomial_greater_pc( PC pc1

is_leading_monomial_greater_poly( Poly p1, Poly p2)

Virtual Predicate
Defined in:
CU.poly2pc or CU.poly2ppoly
Returns TRUE if the leading monomial of p1 is greater than the leading monomial of p2 w.r.t. the chosen ordering on monomials is_greater_mon.
See also:
Section 4.4.1.

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