next up previous contents index
Next: is_leading_monomial_multiple_dpl( DPL p1 Up: Reference Manual Previous: is_leading_monomial_greater_poly( Poly p1

is_leading_monomial_greater_ppoly( PPoly p1, PPoly p2)

Virtual Predicate
Defined in:
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.2.

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