next up previous contents index
Next: GcdDomain Up: FiniteSet Previous: lookup   Contents   Index


random


\begin{usage} random() \end{usage}


Signature


\begin{retval} Returns a random element. \end{retval}

Manuel Bronstein 2000-12-13