next up previous contents index
Next: inDomain? Up: PartialFunction Previous: PartialFunction   Contents   Index


apply


\begin{usage} apply($\sigma$, x) \\ $\sigma x$ \end{usage}


Signature


\begin{params} {\em$\sigma$} & \% & A partial function\\ {\em x} & R & An element of R\\\end{params}

\begin{retval} Returns $\sigma x$. \end{retval}

\begin{remarks} This map can cause an error if it is used on an element which i... ...x is known to be in the domain, otherwise use {\em partialApply}. \end{remarks}


See Also


Manuel Bronstein 2000-12-13