Numeric.AD.Rank1.Sparse.Double

Higher order derivatives via a "dual number tower".

Documentation

data SparseDouble

We only store partials in sorted order, so the map contained in a partial will only contain partials with equal or greater keys to that of the map in which it was found. This should be key for efficiently computing sparse hessians. there are only n + k - 1 choose k distinct nth partial derivatives of a function with k inputs.

Instances

Enum SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Methods

succ :: SparseDouble -> SparseDouble

pred :: SparseDouble -> SparseDouble

toEnum :: Int -> SparseDouble

fromEnum :: SparseDouble -> Int

enumFrom :: SparseDouble -> [SparseDouble]

enumFromThen :: SparseDouble -> SparseDouble -> [SparseDouble]

enumFromTo :: SparseDouble -> SparseDouble -> [SparseDouble]

enumFromThenTo :: SparseDouble -> SparseDouble -> SparseDouble -> [SparseDouble]

Eq SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Methods

(==) :: SparseDouble -> SparseDouble -> Bool

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

Floating SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Methods

pi :: SparseDouble

exp :: SparseDouble -> SparseDouble

log :: SparseDouble -> SparseDouble

sqrt :: SparseDouble -> SparseDouble

(**) :: SparseDouble -> SparseDouble -> SparseDouble

logBase :: SparseDouble -> SparseDouble -> SparseDouble

sin :: SparseDouble -> SparseDouble

cos :: SparseDouble -> SparseDouble

tan :: SparseDouble -> SparseDouble

asin :: SparseDouble -> SparseDouble

acos :: SparseDouble -> SparseDouble

atan :: SparseDouble -> SparseDouble

sinh :: SparseDouble -> SparseDouble

cosh :: SparseDouble -> SparseDouble

tanh :: SparseDouble -> SparseDouble

asinh :: SparseDouble -> SparseDouble

acosh :: SparseDouble -> SparseDouble

atanh :: SparseDouble -> SparseDouble

log1p :: SparseDouble -> SparseDouble

expm1 :: SparseDouble -> SparseDouble

log1pexp :: SparseDouble -> SparseDouble

log1mexp :: SparseDouble -> SparseDouble

Fractional SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Methods

(/) :: SparseDouble -> SparseDouble -> SparseDouble

recip :: SparseDouble -> SparseDouble

fromRational :: Rational -> SparseDouble

Data SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Methods

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

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

toConstr :: SparseDouble -> Constr

dataTypeOf :: SparseDouble -> DataType

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

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

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

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

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

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

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

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

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

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

Num SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Methods

(+) :: SparseDouble -> SparseDouble -> SparseDouble

(-) :: SparseDouble -> SparseDouble -> SparseDouble

(*) :: SparseDouble -> SparseDouble -> SparseDouble

negate :: SparseDouble -> SparseDouble

abs :: SparseDouble -> SparseDouble

signum :: SparseDouble -> SparseDouble

fromInteger :: Integer -> SparseDouble

Ord SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Methods

compare :: SparseDouble -> SparseDouble -> Ordering

(<) :: SparseDouble -> SparseDouble -> Bool

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

(>) :: SparseDouble -> SparseDouble -> Bool

(>=) :: SparseDouble -> SparseDouble -> Bool

max :: SparseDouble -> SparseDouble -> SparseDouble

min :: SparseDouble -> SparseDouble -> SparseDouble

Real SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Methods

toRational :: SparseDouble -> Rational

RealFloat SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Methods

floatRadix :: SparseDouble -> Integer

floatDigits :: SparseDouble -> Int

floatRange :: SparseDouble -> (Int, Int)

decodeFloat :: SparseDouble -> (Integer, Int)

encodeFloat :: Integer -> Int -> SparseDouble

exponent :: SparseDouble -> Int

significand :: SparseDouble -> SparseDouble

scaleFloat :: Int -> SparseDouble -> SparseDouble

isNaN :: SparseDouble -> Bool

isInfinite :: SparseDouble -> Bool

isDenormalized :: SparseDouble -> Bool

isNegativeZero :: SparseDouble -> Bool

isIEEE :: SparseDouble -> Bool

atan2 :: SparseDouble -> SparseDouble -> SparseDouble

RealFrac SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Methods

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

truncate :: Integral b => SparseDouble -> b

round :: Integral b => SparseDouble -> b

ceiling :: Integral b => SparseDouble -> b

floor :: Integral b => SparseDouble -> b

Show SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Methods

showsPrec :: Int -> SparseDouble -> ShowS

show :: SparseDouble -> String

showList :: [SparseDouble] -> ShowS

Erf SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Methods

erf :: SparseDouble -> SparseDouble

erfc :: SparseDouble -> SparseDouble

erfcx :: SparseDouble -> SparseDouble

normcdf :: SparseDouble -> SparseDouble

InvErf SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Methods

inverf :: SparseDouble -> SparseDouble

inverfc :: SparseDouble -> SparseDouble

invnormcdf :: SparseDouble -> SparseDouble

Mode SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Associated Types

type Scalar SparseDouble

Methods

isKnownConstant :: SparseDouble -> Bool

asKnownConstant :: SparseDouble -> Maybe (Scalar SparseDouble)

isKnownZero :: SparseDouble -> Bool

auto :: Scalar SparseDouble -> SparseDouble

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

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

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

zero :: SparseDouble

Jacobian SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

Associated Types

type D SparseDouble

Methods

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

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

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

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

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

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

Grad SparseDouble [Double] (Double, [Double])

Defined in Numeric.AD.Internal.Sparse.Double

Methods

pack :: SparseDouble -> [SparseDouble] -> SparseDouble

unpack :: ([Double] -> [Double]) -> [Double]

unpack' :: ([Double] -> (Double, [Double])) -> (Double, [Double])

Grads SparseDouble (Cofree [] Double)

Defined in Numeric.AD.Internal.Sparse.Double

Methods

packs :: SparseDouble -> [SparseDouble] -> SparseDouble

unpacks :: ([Double] -> Cofree [] Double) -> Cofree [] Double

Grads i o => Grads (SparseDouble -> i) (Double -> o)

Defined in Numeric.AD.Internal.Sparse.Double

Methods

packs :: (SparseDouble -> i) -> [SparseDouble] -> SparseDouble

unpacks :: ([Double] -> Cofree [] Double) -> Double -> o

Grad i o o' => Grad (SparseDouble -> i) (Double -> o) (Double -> o')

Defined in Numeric.AD.Internal.Sparse.Double

Methods

pack :: (SparseDouble -> i) -> [SparseDouble] -> SparseDouble

unpack :: ([Double] -> [Double]) -> Double -> o

unpack' :: ([Double] -> (Double, [Double])) -> Double -> o'

type Scalar SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

type Scalar SparseDouble = Double

type D SparseDouble

Defined in Numeric.AD.Internal.Sparse.Double

type D SparseDouble = SparseDouble

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

Embed a constant

Sparse Gradients

grad :: Traversable f => (f SparseDouble -> SparseDouble) -> f Double -> f Double

grad' :: Traversable f => (f SparseDouble -> SparseDouble) -> f Double -> (Double, f Double)

gradWith :: Traversable f => (Double -> Double -> b) -> (f SparseDouble -> SparseDouble) -> f Double -> f b

gradWith' :: Traversable f => (Double -> Double -> b) -> (f SparseDouble -> SparseDouble) -> f Double -> (Double, f b)

Variadic Gradients

Variadic combinators for variadic mixed-mode automatic differentiation.

Unfortunately, variadicity comes at the expense of being able to use quantification to avoid sensitivity confusion, so be careful when counting the number of auto calls you use when taking the gradient of a function that takes gradients!

class Grad i o o' | i -> o o', o -> i o', o' -> i o

Minimal complete definition

pack, unpack, unpack'

Instances

Grad SparseDouble [Double] (Double, [Double])

Defined in Numeric.AD.Internal.Sparse.Double

Methods

pack :: SparseDouble -> [SparseDouble] -> SparseDouble

unpack :: ([Double] -> [Double]) -> [Double]

unpack' :: ([Double] -> (Double, [Double])) -> (Double, [Double])

Grad i o o' => Grad (SparseDouble -> i) (Double -> o) (Double -> o')

Defined in Numeric.AD.Internal.Sparse.Double

Methods

pack :: (SparseDouble -> i) -> [SparseDouble] -> SparseDouble

unpack :: ([Double] -> [Double]) -> Double -> o

unpack' :: ([Double] -> (Double, [Double])) -> Double -> o'

vgrad :: Grad i o o' => i -> o

Higher-Order Gradients

grads :: Traversable f => (f SparseDouble -> SparseDouble) -> f Double -> Cofree f Double

Variadic Higher-Order Gradients

class Grads i o | i -> o, o -> i

Minimal complete definition

packs, unpacks

Instances

Grads SparseDouble (Cofree [] Double)

Defined in Numeric.AD.Internal.Sparse.Double

Methods

packs :: SparseDouble -> [SparseDouble] -> SparseDouble

unpacks :: ([Double] -> Cofree [] Double) -> Cofree [] Double

Grads i o => Grads (SparseDouble -> i) (Double -> o)

Defined in Numeric.AD.Internal.Sparse.Double

Methods

packs :: (SparseDouble -> i) -> [SparseDouble] -> SparseDouble

unpacks :: ([Double] -> Cofree [] Double) -> Double -> o

vgrads :: Grads i o => i -> o

Sparse Jacobians (synonyms)

jacobian :: (Traversable f, Functor g) => (f SparseDouble -> g SparseDouble) -> f Double -> g (f Double)

jacobian' :: (Traversable f, Functor g) => (f SparseDouble -> g SparseDouble) -> f Double -> g (Double, f Double)

jacobianWith :: (Traversable f, Functor g) => (Double -> Double -> b) -> (f SparseDouble -> g SparseDouble) -> f Double -> g (f b)

jacobianWith' :: (Traversable f, Functor g) => (Double -> Double -> b) -> (f SparseDouble -> g SparseDouble) -> f Double -> g (Double, f b)

jacobians :: (Traversable f, Functor g) => (f SparseDouble -> g SparseDouble) -> f Double -> g (Cofree f Double)

Sparse Hessians

hessian :: Traversable f => (f SparseDouble -> SparseDouble) -> f Double -> f (f Double)

hessian' :: Traversable f => (f SparseDouble -> SparseDouble) -> f Double -> (Double, f (Double, f Double))

hessianF :: (Traversable f, Functor g) => (f SparseDouble -> g SparseDouble) -> f Double -> g (f (f Double))

hessianF' :: (Traversable f, Functor g) => (f SparseDouble -> g SparseDouble) -> f Double -> g (Double, f (Double, f Double))