| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Algebra.Differential
Synopsis
- class C a => C a where
- differentiate :: a -> a
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
| C a => C (T a) Source # | |
Defined in MathObj.PowerSeries Methods differentiate :: T a -> T a Source # | |
| C a => C (T a) Source # | |
Defined in MathObj.Polynomial Methods differentiate :: T a -> T a Source # | |
| C a => C (T a) Source # | |
Defined in MathObj.Wrapper.NumericPrelude Methods differentiate :: T a -> T a Source # | |