derivation

Next: function Up: Derivation Previous: apply Contents Index

derivation

$\begin{usage} derivation~f \end{usage}$

Signature

derivation: (R $\to$ R) $\to$ %

$\begin{params} {\em f} & R $\to$\ R & A map\\ \end{params}$

$\begin{retval} Returns the derivation $D$\ on $R$\ given by \begin{displaymath} D x = f(x) \end{displaymath}for any $x \in R$. \end{retval}$

$\begin{remarks} $f$\ must satisfy the rules of a derivation, namely: \begin{dis... ...ad f(xy) = x f(y) + f(x) y \end{displaymath}for any $x, y \in R$. \end{remarks}$

Manuel Bronstein 2000-12-13