DifferentialRing

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

DifferentialRing

$\begin{usage} DifferentialRing: Category \end{usage}$

$\begin{descr} DifferentialRing~is the category of commutative differential rings. \end{descr}$

Exports

CommutativeRing

derivation: $\to$ Derivation % The derivation

differentiate: (%, Integer) $\to$ % Differentiate an element

Subsections

derivation
differentiate

Manuel Bronstein 2000-12-13

`CommutativeRing`
`derivation`:	$\to$ `Derivation` %	The derivation
`differentiate`:	(%, `Integer`) $\to$ %	Differentiate an element