negate

Next: negative? Up: ExpressionTree Previous: leaf Contents Index

negate

$\begin{usage} negate~t \end{usage}$

Signature

negate: % $\to$ %

$\begin{params} {\em t} & \% & An expression tree\\ \end{params}$

$\begin{retval} Returns the leaf $-t$\ if $t$\ is a numerical leaf with $t < 0$,... ... s)$\ for some tree $s$. $t$\ must be of one of the above 2 forms. \end{retval}$

See Also

negative?

Manuel Bronstein 2000-12-13