The dvda package

[Tags: bsd3, library]

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

Versions0.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, 0.4
Dependenciesbase (==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.*)
LicenseBSD3
Copyright(c) 2011 - 2012 Greg Horn (c) 2009 Andy Gill
AuthorGreg Horn
Maintainergregmainland@gmail.edu
StabilityExperimental
CategoryNumerical, Math
Source repositoryhead: git clone git://github.com/ghorn/dvda.git
Upload dateFri Aug 10 17:58:50 UTC 2012
Uploaded byGregHorn
Downloads588 total (50 in last 30 days)

Modules

[Index]

Flags

NameDescriptionDefault
stresstestBuild a profilable hard executableDisabled
testBuild test program.Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees