Numeric.AD.Mode.Tower.Double

Higher order derivatives via a "dual number tower".

Documentation

data AD s a

Instances

Mode a => Mode (AD s a)

Defined in Numeric.AD.Internal.Type

Associated Types

type Scalar (AD s a)

Methods

isKnownConstant :: AD s a -> Bool

asKnownConstant :: AD s a -> Maybe (Scalar (AD s a))

isKnownZero :: AD s a -> Bool

auto :: Scalar (AD s a) -> AD s a

(*^) :: Scalar (AD s a) -> AD s a -> AD s a

(^*) :: AD s a -> Scalar (AD s a) -> AD s a

(^/) :: AD s a -> Scalar (AD s a) -> AD s a

zero :: AD s a

Bounded a => Bounded (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

minBound :: AD s a

maxBound :: AD s a

Enum a => Enum (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

succ :: AD s a -> AD s a

pred :: AD s a -> AD s a

toEnum :: Int -> AD s a

fromEnum :: AD s a -> Int

enumFrom :: AD s a -> [AD s a]

enumFromThen :: AD s a -> AD s a -> [AD s a]

enumFromTo :: AD s a -> AD s a -> [AD s a]

enumFromThenTo :: AD s a -> AD s a -> AD s a -> [AD s a]

Floating a => Floating (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

pi :: AD s a

exp :: AD s a -> AD s a

log :: AD s a -> AD s a

sqrt :: AD s a -> AD s a

(**) :: AD s a -> AD s a -> AD s a

logBase :: AD s a -> AD s a -> AD s a

sin :: AD s a -> AD s a

cos :: AD s a -> AD s a

tan :: AD s a -> AD s a

asin :: AD s a -> AD s a

acos :: AD s a -> AD s a

atan :: AD s a -> AD s a

sinh :: AD s a -> AD s a

cosh :: AD s a -> AD s a

tanh :: AD s a -> AD s a

asinh :: AD s a -> AD s a

acosh :: AD s a -> AD s a

atanh :: AD s a -> AD s a

log1p :: AD s a -> AD s a

expm1 :: AD s a -> AD s a

log1pexp :: AD s a -> AD s a

log1mexp :: AD s a -> AD s a

RealFloat a => RealFloat (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

floatRadix :: AD s a -> Integer

floatDigits :: AD s a -> Int

floatRange :: AD s a -> (Int, Int)

decodeFloat :: AD s a -> (Integer, Int)

encodeFloat :: Integer -> Int -> AD s a

exponent :: AD s a -> Int

significand :: AD s a -> AD s a

scaleFloat :: Int -> AD s a -> AD s a

isNaN :: AD s a -> Bool

isInfinite :: AD s a -> Bool

isDenormalized :: AD s a -> Bool

isNegativeZero :: AD s a -> Bool

isIEEE :: AD s a -> Bool

atan2 :: AD s a -> AD s a -> AD s a

Num a => Num (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

(+) :: AD s a -> AD s a -> AD s a

(-) :: AD s a -> AD s a -> AD s a

(*) :: AD s a -> AD s a -> AD s a

negate :: AD s a -> AD s a

abs :: AD s a -> AD s a

signum :: AD s a -> AD s a

fromInteger :: Integer -> AD s a

Read a => Read (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

readsPrec :: Int -> ReadS (AD s a)

readList :: ReadS [AD s a]

readPrec :: ReadPrec (AD s a)

readListPrec :: ReadPrec [AD s a]

Fractional a => Fractional (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

(/) :: AD s a -> AD s a -> AD s a

recip :: AD s a -> AD s a

fromRational :: Rational -> AD s a

Real a => Real (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

toRational :: AD s a -> Rational

RealFrac a => RealFrac (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

properFraction :: Integral b => AD s a -> (b, AD s a)

truncate :: Integral b => AD s a -> b

round :: Integral b => AD s a -> b

ceiling :: Integral b => AD s a -> b

floor :: Integral b => AD s a -> b

Show a => Show (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

showsPrec :: Int -> AD s a -> ShowS

show :: AD s a -> String

showList :: [AD s a] -> ShowS

Erf a => Erf (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

erf :: AD s a -> AD s a

erfc :: AD s a -> AD s a

erfcx :: AD s a -> AD s a

normcdf :: AD s a -> AD s a

InvErf a => InvErf (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

inverf :: AD s a -> AD s a

inverfc :: AD s a -> AD s a

invnormcdf :: AD s a -> AD s a

Eq a => Eq (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

(==) :: AD s a -> AD s a -> Bool

(/=) :: AD s a -> AD s a -> Bool

Ord a => Ord (AD s a)

Defined in Numeric.AD.Internal.Type

Methods

compare :: AD s a -> AD s a -> Ordering

(<) :: AD s a -> AD s a -> Bool

(<=) :: AD s a -> AD s a -> Bool

(>) :: AD s a -> AD s a -> Bool

(>=) :: AD s a -> AD s a -> Bool

max :: AD s a -> AD s a -> AD s a

min :: AD s a -> AD s a -> AD s a

type Scalar (AD s a)

Defined in Numeric.AD.Internal.Type

type Scalar (AD s a) = Scalar a

data TowerDouble

Tower is an AD Mode that calculates a tangent tower by forward AD, and provides fast diffsUU, diffsUF

Instances

Jacobian TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Associated Types

type D TowerDouble

Methods

unary :: (Scalar TowerDouble -> Scalar TowerDouble) -> D TowerDouble -> TowerDouble -> TowerDouble

lift1 :: (Scalar TowerDouble -> Scalar TowerDouble) -> (D TowerDouble -> D TowerDouble) -> TowerDouble -> TowerDouble

lift1_ :: (Scalar TowerDouble -> Scalar TowerDouble) -> (D TowerDouble -> D TowerDouble -> D TowerDouble) -> TowerDouble -> TowerDouble

binary :: (Scalar TowerDouble -> Scalar TowerDouble -> Scalar TowerDouble) -> D TowerDouble -> D TowerDouble -> TowerDouble -> TowerDouble -> TowerDouble

lift2 :: (Scalar TowerDouble -> Scalar TowerDouble -> Scalar TowerDouble) -> (D TowerDouble -> D TowerDouble -> (D TowerDouble, D TowerDouble)) -> TowerDouble -> TowerDouble -> TowerDouble

lift2_ :: (Scalar TowerDouble -> Scalar TowerDouble -> Scalar TowerDouble) -> (D TowerDouble -> D TowerDouble -> D TowerDouble -> (D TowerDouble, D TowerDouble)) -> TowerDouble -> TowerDouble -> TowerDouble

Mode TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Associated Types

type Scalar TowerDouble

Methods

isKnownConstant :: TowerDouble -> Bool

asKnownConstant :: TowerDouble -> Maybe (Scalar TowerDouble)

isKnownZero :: TowerDouble -> Bool

auto :: Scalar TowerDouble -> TowerDouble

(*^) :: Scalar TowerDouble -> TowerDouble -> TowerDouble

(^*) :: TowerDouble -> Scalar TowerDouble -> TowerDouble

(^/) :: TowerDouble -> Scalar TowerDouble -> TowerDouble

zero :: TowerDouble

Data TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TowerDouble -> c TowerDouble

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TowerDouble

toConstr :: TowerDouble -> Constr

dataTypeOf :: TowerDouble -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TowerDouble)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TowerDouble)

gmapT :: (forall b. Data b => b -> b) -> TowerDouble -> TowerDouble

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TowerDouble -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TowerDouble -> r

gmapQ :: (forall d. Data d => d -> u) -> TowerDouble -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TowerDouble -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TowerDouble -> m TowerDouble

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TowerDouble -> m TowerDouble

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TowerDouble -> m TowerDouble

Enum TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Methods

succ :: TowerDouble -> TowerDouble

pred :: TowerDouble -> TowerDouble

toEnum :: Int -> TowerDouble

fromEnum :: TowerDouble -> Int

enumFrom :: TowerDouble -> [TowerDouble]

enumFromThen :: TowerDouble -> TowerDouble -> [TowerDouble]

enumFromTo :: TowerDouble -> TowerDouble -> [TowerDouble]

enumFromThenTo :: TowerDouble -> TowerDouble -> TowerDouble -> [TowerDouble]

Floating TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Methods

pi :: TowerDouble

exp :: TowerDouble -> TowerDouble

log :: TowerDouble -> TowerDouble

sqrt :: TowerDouble -> TowerDouble

(**) :: TowerDouble -> TowerDouble -> TowerDouble

logBase :: TowerDouble -> TowerDouble -> TowerDouble

sin :: TowerDouble -> TowerDouble

cos :: TowerDouble -> TowerDouble

tan :: TowerDouble -> TowerDouble

asin :: TowerDouble -> TowerDouble

acos :: TowerDouble -> TowerDouble

atan :: TowerDouble -> TowerDouble

sinh :: TowerDouble -> TowerDouble

cosh :: TowerDouble -> TowerDouble

tanh :: TowerDouble -> TowerDouble

asinh :: TowerDouble -> TowerDouble

acosh :: TowerDouble -> TowerDouble

atanh :: TowerDouble -> TowerDouble

log1p :: TowerDouble -> TowerDouble

expm1 :: TowerDouble -> TowerDouble

log1pexp :: TowerDouble -> TowerDouble

log1mexp :: TowerDouble -> TowerDouble

RealFloat TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Methods

floatRadix :: TowerDouble -> Integer

floatDigits :: TowerDouble -> Int

floatRange :: TowerDouble -> (Int, Int)

decodeFloat :: TowerDouble -> (Integer, Int)

encodeFloat :: Integer -> Int -> TowerDouble

exponent :: TowerDouble -> Int

significand :: TowerDouble -> TowerDouble

scaleFloat :: Int -> TowerDouble -> TowerDouble

isNaN :: TowerDouble -> Bool

isInfinite :: TowerDouble -> Bool

isDenormalized :: TowerDouble -> Bool

isNegativeZero :: TowerDouble -> Bool

isIEEE :: TowerDouble -> Bool

atan2 :: TowerDouble -> TowerDouble -> TowerDouble

Num TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Methods

(+) :: TowerDouble -> TowerDouble -> TowerDouble

(-) :: TowerDouble -> TowerDouble -> TowerDouble

(*) :: TowerDouble -> TowerDouble -> TowerDouble

negate :: TowerDouble -> TowerDouble

abs :: TowerDouble -> TowerDouble

signum :: TowerDouble -> TowerDouble

fromInteger :: Integer -> TowerDouble

Fractional TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Methods

(/) :: TowerDouble -> TowerDouble -> TowerDouble

recip :: TowerDouble -> TowerDouble

fromRational :: Rational -> TowerDouble

Real TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Methods

toRational :: TowerDouble -> Rational

RealFrac TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Methods

properFraction :: Integral b => TowerDouble -> (b, TowerDouble)

truncate :: Integral b => TowerDouble -> b

round :: Integral b => TowerDouble -> b

ceiling :: Integral b => TowerDouble -> b

floor :: Integral b => TowerDouble -> b

Show TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Methods

showsPrec :: Int -> TowerDouble -> ShowS

show :: TowerDouble -> String

showList :: [TowerDouble] -> ShowS

Erf TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Methods

erf :: TowerDouble -> TowerDouble

erfc :: TowerDouble -> TowerDouble

erfcx :: TowerDouble -> TowerDouble

normcdf :: TowerDouble -> TowerDouble

InvErf TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Methods

inverf :: TowerDouble -> TowerDouble

inverfc :: TowerDouble -> TowerDouble

invnormcdf :: TowerDouble -> TowerDouble

Eq TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Methods

(==) :: TowerDouble -> TowerDouble -> Bool

(/=) :: TowerDouble -> TowerDouble -> Bool

Ord TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

Methods

compare :: TowerDouble -> TowerDouble -> Ordering

(<) :: TowerDouble -> TowerDouble -> Bool

(<=) :: TowerDouble -> TowerDouble -> Bool

(>) :: TowerDouble -> TowerDouble -> Bool

(>=) :: TowerDouble -> TowerDouble -> Bool

max :: TowerDouble -> TowerDouble -> TowerDouble

min :: TowerDouble -> TowerDouble -> TowerDouble

type D TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

type D TowerDouble = TowerDouble

type Scalar TowerDouble

Defined in Numeric.AD.Internal.Tower.Double

type Scalar TowerDouble = Double

auto :: Mode t => Scalar t -> t

Embed a constant

Taylor Series

taylor :: (forall s. AD s TowerDouble -> AD s TowerDouble) -> Double -> Double -> [Double]

taylor0 :: (forall s. AD s TowerDouble -> AD s TowerDouble) -> Double -> Double -> [Double]

Maclaurin Series

maclaurin :: (forall s. AD s TowerDouble -> AD s TowerDouble) -> Double -> [Double]

maclaurin0 :: (forall s. AD s TowerDouble -> AD s TowerDouble) -> Double -> [Double]

Derivatives

diff :: (forall s. AD s TowerDouble -> AD s TowerDouble) -> Double -> Double

diff' :: (forall s. AD s TowerDouble -> AD s TowerDouble) -> Double -> (Double, Double)

diffs :: (forall s. AD s TowerDouble -> AD s TowerDouble) -> Double -> [Double]

diffs0 :: (forall s. AD s TowerDouble -> AD s TowerDouble) -> Double -> [Double]

diffsF :: Functor f => (forall s. AD s TowerDouble -> f (AD s TowerDouble)) -> Double -> f [Double]

diffs0F :: Functor f => (forall s. AD s TowerDouble -> f (AD s TowerDouble)) -> Double -> f [Double]

Directional Derivatives

du :: Functor f => (forall s. f (AD s TowerDouble) -> AD s TowerDouble) -> f (Double, Double) -> Double

du' :: Functor f => (forall s. f (AD s TowerDouble) -> AD s TowerDouble) -> f (Double, Double) -> (Double, Double)

dus :: Functor f => (forall s. f (AD s TowerDouble) -> AD s TowerDouble) -> f [Double] -> [Double]

dus0 :: Functor f => (forall s. f (AD s TowerDouble) -> AD s TowerDouble) -> f [Double] -> [Double]

duF :: (Functor f, Functor g) => (forall s. f (AD s TowerDouble) -> g (AD s TowerDouble)) -> f (Double, Double) -> g Double

duF' :: (Functor f, Functor g) => (forall s. f (AD s TowerDouble) -> g (AD s TowerDouble)) -> f (Double, Double) -> g (Double, Double)

dusF :: (Functor f, Functor g) => (forall s. f (AD s TowerDouble) -> g (AD s TowerDouble)) -> f [Double] -> g [Double]

dus0F :: (Functor f, Functor g) => (forall s. f (AD s TowerDouble) -> g (AD s TowerDouble)) -> f [Double] -> g [Double]