NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classesContentsIndex
Algebra.Differential
Synopsis
class C a => C a where
differentiate :: a -> a
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.

Methods
differentiate :: a -> a
show/hide Instances
C a => C (T a)
C a => C (T a)
Produced by Haddock version 0.7