Algebra.Differential

Documentation

class C a => C a where

differentiate is a general differentation operation It must fulfill the Leibnitz condition

  differentiate (x * y) == differentiate x * y + x * differentiate y

Unfortunately, this scheme cannot be easily extended to more than two variables, e.g. MathObj.PowerSeries2.

Minimal complete definition

differentiate

Methods

differentiate :: a -> a

Instances

C a => C (T a)

Methods

differentiate :: T a -> T a

C a => C (T a)

Methods

differentiate :: T a -> T a

C a => C (T a)

Methods

differentiate :: T a -> T a