DifferentialExtension

Next: lift Up: Basic Categories Previous: someFactors Contents Index

DifferentialExtension

$\begin{usage} DifferentialExtension~R: Category \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{CommutativeRing}}{CommutativeRing} & The base ring\\ \end{params}$

$\begin{descr} DifferentialExtension(R)~is the category of differential extensions of R. \end{descr}$

Exports

CommutativeRing

lift: Derivation R $\to$ Derivation % Extension of a derivation

if R has DifferentialRing then
DifferentialRing

Subsections

lift

Manuel Bronstein 2000-12-13

`CommutativeRing`
`lift`:	`Derivation` R $\to$ `Derivation` %	Extension of a derivation