Documentation Center

  • Trial Software
  • Product Updates

Cat::DifferentialRing

Category of ordinary differential rings

Description

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?