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

is_leading_monomial_multiple_poly( Poly p1, Poly p2)

Type:
Virtual Predicate
Defined in:
CU.poly2pc or CU.poly2ppoly
tex2html_wrap_inline6634
Returns TRUE if the leading monomial of p1 is a multiple of the leading monomial of p2.
See also:
Section 4.4.1.


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