apply

Next: index Up: FiniteSet Previous: size Contents Index

apply

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

Signature

apply: (%, ExpressionTree) $\to$ ExpressionTree

$\begin{params} {\em p} & \% & An element\\ {\em x} & \htmlref{\texttt{ExpressionTree}}{ExpressionTree} & A name for the variables\\\end{params}$

$\begin{retval} Returns p as an expression tree, using x as root variable name. \end{retval}$

Manuel Bronstein 2000-12-13