dvda: Efficient automatic differentiation

dvda == DVDA Verifiably Differentiates Algorithmically

This library provides a symbolic type Dvda.Expr which is manipulated mathematically through its Num/Fractional/Floating instances. Expr can be a scalar, vector, or matrix. Binary operations (adding/multiplying/etc) are all elementwise.

Matrixvectorscalar safety is enforced at compile time

Efficient derivatives can be computed. Internally reverse automatic differentiation is performed including efficient common subexpression elimination.

Function graphs can be JIT compiled into efficient functions using "buildHSFunction". This is the intended way to use this library.

Pretty graphviz plots!

If the runtime JIT stuff works in terminal ghci but not emacs haskell-mode, you may need to add `(setenv PATH (concatenate 'string (getenv PATH) ":usrlocal/bin"))` to your .emacs file

To get started look in Dvda.Examples or CompileTest.hs in the github repo

Modules

[Last Documentation]

Flags

Automatic Flags

Name	Description	Default
stresstest	Build a profilable hard executable	Disabled
test	Build test program.	Disabled

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

Downloads

• dvda-0.2.1.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• GregHorn

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates