numeric-prelude-0.4.4: An experimental alternative hierarchy of numeric type classes
Safe HaskellSafe-Inferred
LanguageHaskell98

Algebra.Differential

Synopsis

Documentation

class C a => C a where Source #

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

Instances

Instances details
C a => C (T a) Source # 
Instance details

Defined in MathObj.PowerSeries

Methods

differentiate :: T a -> T a Source #

C a => C (T a) Source # 
Instance details

Defined in MathObj.Polynomial

Methods

differentiate :: T a -> T a Source #

C a => C (T a) Source # 
Instance details

Defined in MathObj.Wrapper.NumericPrelude

Methods

differentiate :: T a -> T a Source #