is_disjoint_pp( PP pp1, PP pp2)

Type:

Virtual Predicate

Defined in:

CU.pp2el

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.