Previous  Up  Next

Module Gsl.Fun

module Fun: Gsl_fun

Types for special functions

These type are used by module Sf

type result = {
   res : float;
   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 = {
   res_e10 : float;
   err_e10 : float;
   e10 : int;
}

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

type mode =
| DOUBLE (*

Double precision : 2 * 10^-16

*)
| SIMPLE (*

Single precision : 10^-7

*)
| 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 = {
   f : float -> float;
   df : float -> float;
   fdf : float -> float * float;
} 
type monte_fun = float array -> float 
type multi_fun = x:Gsl_vector.vector -> f:Gsl_vector.vector -> unit 
type multi_fun_fdf = {
   multi_f : x:Gsl_vector.vector -> f:Gsl_vector.vector -> unit;
   multi_df : x:Gsl_vector.vector -> j:Gsl_matrix.matrix -> unit;
   multi_fdf : x:Gsl_vector.vector -> f:Gsl_vector.vector -> j:Gsl_matrix.matrix -> unit;
} 
type multim_fun = x:Gsl_vector.vector -> float 
type multim_fun_fdf = {
   multim_f : x:Gsl_vector.vector -> float;
   multim_df : x:Gsl_vector.vector -> g:Gsl_vector.vector -> unit;
   multim_fdf : x:Gsl_vector.vector -> g:Gsl_vector.vector -> float;
}