Derivation

Next: apply Up: Commutative Algebra Previous: interpolate Contents Index

Derivation

$\begin{usage} import from Derivation~R \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{Ring}}{Ring} & The ring on which the derivations operate\\ \end{params}$

$\begin{descr} Derivation~R provides derivations on $R$. \end{descr}$

Exports

Module R

apply: (%, R, Integer) $\to$ R Differentiate an element of

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

function: % $\to$ (R $\to$ R) Action of a derivation

Subsections

apply
derivation
function

Manuel Bronstein 2000-12-13

`Module` R
`apply`:	(%, R, `Integer`) $\to$ R	Differentiate an element of
`derivation`:	(R $\to$ R) $\to$ %	Create a derivation
`function`:	% $\to$ (R $\to$ R)	Action of a derivation