The dvda package
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
Properties
| Versions | 0.1, 0.1.1, 0.2.0, 0.2.1, 0.2.2, 0.3, 0.3.0.1, 0.3.1, 0.3.2, 0.3.2.1 |
|---|---|
| Dependencies | base (4.*), containers (0.4.*), directory (1.1.*), fgl (5.4.*), file-location (≥0.4.4 & <0.5), graphviz (2999.12.*), hashable (1.1.*), hashtables (≥1.0.1.6 & <1.1), mtl (2.0.*), process (1.1.*), QuickCheck (2.4.*), test-framework, test-framework-quickcheck2, unordered-containers (0.2.*) |
| License | BSD3 |
| Copyright | (c) 2011 - 2012 Greg Horn (c) 2009 Andy Gill |
| Author | Greg Horn |
| Maintainer | gregmainland@gmail.edu |
| Stability | Experimental |
| Category | Numerical, Math |
| Source repository | git clone git://github.com/ghorn/dvda.git |
| Upload date | Thu Aug 9 11:07:44 UTC 2012 |
| Uploaded by | GregHorn |
| Built on | ghc-7.4 |
Modules
Downloads
- dvda-0.3.tar.gz (Cabal source package)
- package description (included in the package)