Source file multimin.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
(* gsl-ocaml - OCaml interface to GSL                       *)
(* Copyright (©) 2002-2012 - Olivier Andrieu                *)
(* Distributed under the terms of the GPL version 3         *)

let () = Error.init ()

open Fun
open Vector

module Deriv = struct
  type kind =
    | CONJUGATE_FR
    | CONJUGATE_PR
    | VECTOR_BFGS
    | VECTOR_BFGS2
    | STEEPEST_DESCENT

  type t

  external _alloc : kind -> int -> t = "ml_gsl_multimin_fdfminimizer_alloc"
  external _free : t -> unit = "ml_gsl_multimin_fdfminimizer_free"

  external _set :
    t -> multim_fun_fdf -> x:vector -> step:float -> tol:float -> unit
    = "ml_gsl_multimin_fdfminimizer_set"

  let make kind dim gf ~x ~step ~tol =
    let mini = _alloc kind dim in
    Gc.finalise _free mini;
    _set mini gf ~x ~step ~tol;
    mini

  external name : t -> string = "ml_gsl_multimin_fdfminimizer_name"
  external iterate : t -> unit = "ml_gsl_multimin_fdfminimizer_iterate"
  external restart : t -> unit = "ml_gsl_multimin_fdfminimizer_restart"

  external minimum : ?x:vector -> ?dx:vector -> ?g:vector -> t -> float
    = "ml_gsl_multimin_fdfminimizer_minimum"

  external test_gradient : t -> float -> bool = "ml_gsl_multimin_test_gradient"
end

module NoDeriv = struct
  type kind = NM_SIMPLEX
  type t

  external _alloc : kind -> int -> t = "ml_gsl_multimin_fminimizer_alloc"
  external _free : t -> unit = "ml_gsl_multimin_fminimizer_free"

  external _set : t -> multim_fun -> x:vector -> step_size:vector -> unit
    = "ml_gsl_multimin_fminimizer_set"

  let make kind dim gf ~x ~step_size =
    let mini = _alloc kind dim in
    Gc.finalise _free mini;
    _set mini gf ~x ~step_size;
    mini

  external name : t -> string = "ml_gsl_multimin_fminimizer_name"
  external iterate : t -> unit = "ml_gsl_multimin_fminimizer_iterate"

  external minimum : ?x:vector -> t -> float
    = "ml_gsl_multimin_fminimizer_minimum"

  external size : t -> float = "ml_gsl_multimin_fminimizer_size"
  external test_size : t -> float -> bool = "ml_gsl_multimin_test_size"
end