package cviode
Install
Dune Dependency
Authors
Maintainers
Sources
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).
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