package owl-ode

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package owl-ode

owl-ode
- Owl_ode
  - Common
    
    Make
    
    M
    
    Linalg
    
    Mat
    
    Scalar
  - Native
    
    D
    
    Euler
    
    Midpoint
    
    RK23
    
    RK4
    
    RK45
    
    Generic
    
    S
    
    Euler
    
    Midpoint
    
    RK23
    
    RK4
    
    RK45
  - Ode
  - Symplectic
    
    D
    
    Leapfrog
    
    PseudoLeapfrog
    
    Ruth3
    
    Ruth4
    
    Symplectic_Euler
    
    Generic
    
    S
    
    Leapfrog
    
    PseudoLeapfrog
    
    Ruth3
    
    Ruth4
    
    Symplectic_Euler
  - Types
    
    Solver

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module M : Owl_types_ndarray_algodiff.Sig with type elt = float

Signature

val steps : float -> float -> float -> int

type state_type =

| Row of int
| Col of int
| Arr of int array

val get_state_t : M.arr -> state_type

val integrate : 
  step:(M.arr -> M.elt -> M.arr * M.elt) ->
  tspan:(M.elt * float) ->
  dt:float ->
  M.arr ->
  M.arr * M.arr

val symplectic_integrate : 
  step:((M.arr * M.arr) -> M.elt -> (M.arr * M.arr) * M.elt) ->
  tspan:(M.elt * float) ->
  dt:float ->
  (M.arr * M.arr) ->
  M.arr * M.arr * M.arr

val adaptive_integrate : 
  step:(dt:float -> M.arr -> float -> M.arr * M.elt * float * bool) ->
  tspan:(M.elt * float) ->
  dtmax:float ->
  M.arr ->
  M.arr * M.arr