next up previous contents index
Next: is_leading_monomial_greater_lp( LP lp1 Up: Reference Manual Previous: is_lcm_greater( Pa p1

is_leading_monomial_greater_dpl( DPL p1, DPL p2)

Type:
Predicate
Defined in:
dpl.c
tex2html_wrap_inline6634
Implementation of virtual predicate is_leading_monomial_greater_ppoly.
See also:
is_leading_monomial_greater_ppoly.


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