## `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

- no changes

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000