
Cat::DifferentialRing
-- the category of ordinary differential rings
Introduction
Cat::DifferentialRing
represents the category of
ordinary differential rings.
Generating
the category
Cat::DifferentialRing()
Categories
Cat::PartialDifferentialRing
Details
- A
Cat::DifferentialRing
is a commutative ring with a
single derivation operator D
.
- A derivation is a linear operator with product rule, i.e. D(f
g) = D(f) g + f D(g) holds for all f and
g.
Method D: returns derivative
D(dom f)
-
- Must return the derivative of
f
.
Method diff: differentiation with respect to a variable
diff(dom f, variable
x)
-
- Must differentiate
f
with respect to the variable
x
.
Changes
Do you have
questions or comments?
Copyright © SciFace Software GmbH & Co. KG
2000