next up previous contents index
Next: is_one_rf( RF rf) Up: Reference Manual Previous: is_one_int( Int i)

is_one_pp( PP pp)

Type:
Virtual Predicate
Defined in:
CU.pp2el
tex2html_wrap_inline6634
Returns TRUE if pp equals the unit element of the domain of power products.
See also:
Section 4.3.


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