@hackage dvda0.3.2.1

Efficient automatic differentiation and code generation

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
gregmainland@gmail.edu
Links
Versions
- 0.4 Sat, 5 Apr 2014
- 0.3.2.1 Fri, 10 Aug 2012
- 0.3.2 Fri, 10 Aug 2012
- 0.3.1 Fri, 10 Aug 2012
- 0.3.0.1 Fri, 10 Aug 2012
- 0.3 Thu, 9 Aug 2012

Deprecated
This package has been deprecated in favour of
- @hackage/dynobud
Dependencies (14)
- base >=4 && <5
- containers >=0.4 && <0.5
- directory >=1.1 && <1.2
- mtl >=2.0 && <2.1
- process >=1.1 && <1.2
- QuickCheck >=2.4 && <2.5
Dependents (1)
@hackage/acme-everything

Package Flags

stresstest

(off by default)

Build a profilable hard executable

test

(off by default)

Build test program.

dvda == DVDA Verifiably Differentiates Algorithmically

This library provides a symbolic scalar type Dvda.Expr which is manipulated mathematically through its Num/Fractional/Floating instances.

Automatic differentiation can be performed with Dvda.AD. Expressions can be turned into computational graphs (FunGraphs) using toFunGraph. This uses unsafe reification for performance reasons, and explicit common subexpression elimination using hashing can be performed using Dvda.CSE

FunGraphs can be converted to C code and MATLAB mex functions. In the future there will be JIT compilation so you can call these functions efficiently from Haskell.

Pretty graphviz plots!

To get started check out the source for Dvda.Examples

@hackage dvda0.3.2.1

Categories

License

Maintainer

Links

Versions

Deprecated

Dependencies (14)

Dependents (1)

Package Flags