Documentation

This is machine translation

Translated by Microsoft
Mouse over text to see original. Click the button below to return to the English verison of the page.

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.

Methods

expand all

Basic Methods

D(f)

diff(f, x)

Was this topic helpful?