Documentation Center

  • Trial Software
  • Product Updates


Category of ordinary differential rings


Cat::DifferentialRing represents the category of ordinary differential rings.

A Cat::DifferentialRing is a commutative ring with a single derivation operator D.

A derivation is a linear operator with product rule, i.e. holds for all f and g.

Was this topic helpful?