next up previous contents index
Next: is_negative_coef( Coef c) Up: Reference Manual Previous: is_multiple_mon( Mon m1

is_multiple_pp( PP pp1, PP pp2)

Type:
Virtual Predicate
Defined in:
CU.pp2el
tex2html_wrap_inline6634
Returns TRUE if pp1 is a multiple of pp2.


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