Cat::DifferentialRing
-- the category of ordinary differential rings
IntroductionCat::DifferentialRing represents the category of
ordinary differential rings.
Generating
the categoryCat::DifferentialRing()
Cat::PartialDifferentialRing
DetailsCat::DifferentialRing is a commutative ring with a
single derivation operator D.D(dom f)f.diff(dom f, variable
x)f with respect to the variable
x.