numeric-prelude-0.4.3.1: An experimental alternative hierarchy of numeric type classes

Safe HaskellSafe
LanguageHaskell98

Algebra.Differential

Synopsis
  • class C a => C a where

    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.

    Minimal complete definition

    differentiate

    Methods

    differentiate :: a -> a Source #

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