dvda-0.4: Efficient automatic differentiation and code generation

Safe HaskellNone

Dvda

Contents

Description

This is the top level module which exports the API

Synopsis

primitives

sym :: String -> Expr aSource

symbolic scalar

symDependent :: String -> Expr a -> Expr aSource

Symbolic scalar which is a function of some independent variable, like time. . This lets you do d(f(g(t)))/dt == f'(g(t))*g'(t)

symDependentN :: String -> Expr a -> Int -> Expr aSource

same as symDependent but it can start as the Nth derivative

operations

rad :: (Num a, Ord a, Hashable a, Functor f) => Expr a -> f (Expr a) -> f (Expr a)Source

symbolic expression type

data Expr a Source

Instances

Eq a => Eq (Expr a) 
(Eq a, Floating a) => Floating (Expr a) 
(Eq a, Fractional a) => Fractional (Expr a) 
(Eq a, Num a) => Num (Expr a) 
Show a => Show (Expr a) 
Hashable a => Hashable (Expr a) 

construct FunGraphs

show/summarize FunGraphs

compile and link function

module Dvda.Algorithm