next up previous contents index
Next: is_empty_pas( PaS pas) Up: Reference Manual Previous: is_disjoint_el( EL el1

is_disjoint_pp( PP pp1, PP pp2)

Virtual Predicate
Defined in:
Returns TRUE if all variables that occur in pp1 vanish in pp2 and vice versa, or, with other words, if all variables with non-zero exponent in pp1 have exponent 0 in pp2 and vice versa.
See also:
Section 4.3.

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