Module Gsl.Fun

Callbacks and types for error estimates

Types for special functions

These type are used by module Sf

type result = {
  1. res : float;
  2. err : float;
}

The result of a computation : res is the value and err an estimate of the absolute error in the value.

type result_e10 = {
  1. res_e10 : float;
  2. err_e10 : float;
  3. e10 : int;
}

Result of computation with a scaling exponent. Actual result is obtained as res *. 10. ** e10.

type mode =
  1. | DOUBLE
    (*

    Double precision : 2 * 10^-16

    *)
  2. | SIMPLE
    (*

    Single precision : 10^-7

    *)
  3. | APPROX
    (*

    Approximate values : 5 * 10^-4

    *)

Reduce the accuracy of some evaluations to speed up computations.

val smash : result_e10 -> result

Callbacks

type gsl_fun = float -> float
type gsl_fun_fdf = {
  1. f : float -> float;
  2. df : float -> float;
  3. fdf : float -> float * float;
}
type monte_fun = float array -> float
type multi_fun = x:Vector.vector -> f:Vector.vector -> unit
type multi_fun_fdf = {
  1. multi_f : x:Vector.vector -> f:Vector.vector -> unit;
  2. multi_df : x:Vector.vector -> j:Matrix.matrix -> unit;
  3. multi_fdf : x:Vector.vector -> f:Vector.vector -> j:Matrix.matrix -> unit;
}
type multim_fun = x:Vector.vector -> float
type multim_fun_fdf = {
  1. multim_f : x:Vector.vector -> float;
  2. multim_df : x:Vector.vector -> g:Vector.vector -> unit;
  3. multim_fdf : x:Vector.vector -> g:Vector.vector -> float;
}