package cviode

  1. Overview
  2. Docs
Contact variational integrators - native ocaml version

Install

Dune Dependency

Authors

Maintainers

Sources

cviode-v0.0.3.tbz
sha256=738835eb60435bdd41c3d94d6918c4803d5c2ad1910ad51a84e2b48515fab4f5
md5=06d9389667762cd92c4d21a846b586cb

Description

This is a collection of geometric solvers for initial value problems derived from contact Lagrangians. The provided solvers concern Lagrangians of the form $$
L(x, \dot{x}, z, t) = \frac12|\dot{x}|^2 + g_1(x)g_2(z) + h(z) + f(t)x $$ For further information refer to Vermeeren, Bravetti, Seri: Contact Variational Integrators (2019).

Tags

ODE scientific-computing

Published: 07 Mar 2019

README

Contact variational integrators - native ocaml implementation

This is a collection of geometric solvers for initial value problems derived from contact Lagrangians. The provided solvers concern Lagrangians of the form

$$                                         
L(x, \dot{x}, z, t) = \frac12|\dot{x}|^2 + g_1(x)g_2(z) + h(z) + f(t)x
$$

For further information refer to Vermeeren, Bravetti, Seri: Contact Variational Integrators (2019).

Running the integrators on the damped oscillator with and without forcing (see example/damped.ml) produces the following output:

TODO

  • [ ] Add mli with documentation

  • [ ] Add implementation with support for $g_2(z)$ as per description

  • [ ] Figure out how to test

Dependencies (4)

  1. owl-ode >= "0.0.7" & < "0.0.9"
  2. owl >= "0.5.0" & < "0.6.0"
  3. dune
  4. ocaml >= "4.06.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.