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
  - Native
    
    D
    
    S
  - Native_d
    
    Euler
    
    Midpoint
    
    RK23
    
    RK4
    
    RK45
  - Native_generic
    
    Make
  - Native_s
    
    Euler
    
    Midpoint
    
    RK23
    
    RK4
    
    RK45
  - Ode
  - Symplectic
    
    D
    
    S
  - Symplectic_d
    
    Leapfrog
    
    PseudoLeapfrog
    
    Ruth3
    
    Ruth4
    
    Symplectic_Euler
  - Symplectic_generic
    
    Make
  - Symplectic_s
    
    Leapfrog
    
    PseudoLeapfrog
    
    Ruth3
    
    Ruth4
    
    Symplectic_Euler
  - Types
    
    SolverT

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module M : Owl_types_ndarray_algodiff.Sig with type elt = float

Signature

type f_t = M.arr -> M.arr -> float -> M.arr

val symplectic_euler_s : 
  f:f_t ->
  dt:float ->
  M.arr ->
  M.arr ->
  float ->
  M.arr * M.arr * float

val leapfrog_s : 
  f:f_t ->
  dt:float ->
  M.arr ->
  M.arr ->
  float ->
  M.arr * M.arr * float

val pseudoleapfrog_s : 
  f:f_t ->
  dt:float ->
  M.arr ->
  M.arr ->
  float ->
  M.arr * M.arr * float

val ruth3_s : 
  f:f_t ->
  dt:float ->
  M.arr ->
  M.arr ->
  float ->
  M.arr * M.arr * float

val ruth4_s : 
  f:f_t ->
  dt:float ->
  M.arr ->
  M.arr ->
  float ->
  M.arr * M.arr * float

val prepare : 
  (f:('a -> 'b -> 'c) ->
    dt:float ->
    M.arr ->
    M.arr ->
    float ->
    M.arr * M.arr * float) ->
  (('a * 'b) -> 'c) ->
  (M.arr * M.arr) ->
  Types.tspec_t ->
  unit ->
  M.arr * M.arr * M.arr

val to_state_array : 
  ?axis:int ->
  (int * int) ->
  M.arr ->
  M.arr ->
  M.arr array * M.arr array