next up previous contents index
Next: split Up: EqualityCondition Previous: equalities,inequalities   Contents   Index


zero,nonzero


\begin{usage}
zero~c\\ nonzero~c
\end{usage}


Signature


\begin{params}
{\em c} & \% & a condition
\end{params}

\begin{retval}
Return a generator that iterates through $a$'s such that
$a = 0$\ (resp.~$a \ne 0$) is part of $c$.
\end{retval}


See Also



Manuel Bronstein 2000-12-13