lift

Next: DifferentialRing Up: DifferentialExtension Previous: DifferentialExtension Contents Index

lift

$\begin{usage} lift~D \end{usage}$

Signature

lift: Derivation R $\to$ Derivation %

$\begin{params} {\em D} & \htmlref{\texttt{Derivation}}{Derivation} R & A derivation on R\\ \end{params}$

$\begin{retval} Returns the derivation $D$\ extended to the ring extension. \end{retval}$

Manuel Bronstein 2000-12-13