split

Next: If Up: EqualityCondition Previous: zero,nonzero Contents Index

split

$\begin{usage} split(c, a) \end{usage}$

Signature

split: (%,T) $\to$ (%,%)

$\begin{params} {\em c} & \% & a condition\\ {\em a} & T & an element of T\\\end{params}$

$\begin{retval} Return $(c /\backslash a = 0, c /\backslash a\ne 0)$. \end{retval}$

Manuel Bronstein 2000-12-13