The dvda package

[ Tags: bsd3, deprecated, library, math, numerical ] [ Propose Tags ]
Deprecated. in favor of dynobud

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

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, 0.4
Dependencies base (==4.*), containers (==0.4.*), directory (==1.1.*), fgl (==5.4.*), graphviz (==2999.12.*), hashable (==1.1.*), hmatrix (==0.14.*), mtl (==2.0.*), repa (==3.2.*), unordered-containers (==0.2.*) [details]
License BSD3
Author Greg Horn
Maintainer gregmainland@gmail.edu
Category Numerical, Math
Source repository head: git clone git://github.com/ghorn/dvda.git
Uploaded Sun Jul 15 12:12:33 UTC 2012 by GregHorn
Distributions NixOS:0.4
Downloads 2423 total (17 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-24 [all 6 reports]
Hackage Matrix CI

Modules

  • Dvda
    • Dvda.BinUn
    • Dvda.CallNative
    • Dvda.Codegen
    • Dvda.Config
    • Dvda.Dual
    • Dvda.Examples
    • Dvda.Expr
    • Dvda.Graph
    • MultipleShooting
      • Dvda.MultipleShooting.MSCoctave
      • Dvda.MultipleShooting.MSMonad
      • Dvda.MultipleShooting.MultipleShooting
      • Dvda.MultipleShooting.Types
    • Dvda.OctaveSyntax
    • Dvda.SparseLA
    • Dvda.SymMonad

Flags

NameDescriptionDefaultType
stresstest

Build a profilable hard executable

DisabledAutomatic
test

Build test program.

DisabledAutomatic

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees