Module `Symplectic_generic.Make`Source

Parameters

module M : Owl_types_ndarray_algodiff.Sig with type elt = float

Signature

Sourcetype f_t = (M.arr * M.arr) -> float -> M.arr

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

Source

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

Source

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

Source

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

Source

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

Source

val prepare : 
  ('a -> dt:float -> (M.arr * M.arr) -> float -> (M.arr * M.arr) * float) ->
  'a ->
  (M.arr * M.arr) ->
  Types.tspec ->
  unit ->
  M.arr * M.arr * M.arr

Source

val symplectic_euler : 
  (module Types.Solver
  with type f = (M.arr * M.arr) -> float -> M.arr
   and type solve_output = M.arr * M.arr * M.arr
   and type state = M.arr * M.arr
   and type step_output = (M.arr * M.arr) * float)

Source

val leapfrog : 
  (module Types.Solver
  with type f = (M.arr * M.arr) -> float -> M.arr
   and type solve_output = M.arr * M.arr * M.arr
   and type state = M.arr * M.arr
   and type step_output = (M.arr * M.arr) * float)

Source

val pseudoleapfrog : 
  (module Types.Solver
  with type f = (M.arr * M.arr) -> float -> M.arr
   and type solve_output = M.arr * M.arr * M.arr
   and type state = M.arr * M.arr
   and type step_output = (M.arr * M.arr) * float)

Source

val ruth3 : 
  (module Types.Solver
  with type f = (M.arr * M.arr) -> float -> M.arr
   and type solve_output = M.arr * M.arr * M.arr
   and type state = M.arr * M.arr
   and type step_output = (M.arr * M.arr) * float)

Source

val ruth4 : 
  (module Types.Solver
  with type f = (M.arr * M.arr) -> float -> M.arr
   and type solve_output = M.arr * M.arr * M.arr
   and type state = M.arr * M.arr
   and type step_output = (M.arr * M.arr) * float)

Source

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

package owl-ode-base

Module Symplectic_generic.MakeSource

Parameters

Signature

Module `Symplectic_generic.Make`Source