Next: is_leading_monomial_multiple_lp( LP lp1
Up: Reference Manual
Previous: is_leading_monomial_greater_ppoly( PPoly p1
- Type:
- Predicate
- Defined in:
- dpl.c
-
- Implementation of virtual predicate
is_leading_monomial_multiple_ppoly.
- See also:
- is_leading_monomial_multiple_ppoly.
windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998