interval 1.3 · OCaml Package

type interval = {

low : float;
high : float;

}

val zero_I : interval

val one_I : interval

val pi_I : interval

val e_I : interval

val printf_I : (float -> string, unit, string) format -> interval -> unit

val fprintf_I : 
  out_channel ->
  (float -> string, unit, string) format ->
  interval ->
  unit

val sprintf_I : (float -> string, unit, string) format -> interval -> string

val float_i : int -> interval

val compare_I_f : interval -> float -> int

val size_I : interval -> float

val sgn_I : interval -> interval

val truncate_I : interval -> interval

val abs_I : interval -> interval

val union_I_I : interval -> interval -> interval

val max_I_I : interval -> interval -> interval

val min_I_I : interval -> interval -> interval

val (+$) : interval -> interval -> interval

val (+$.) : interval -> float -> interval

val (+.$) : float -> interval -> interval

val (-$) : interval -> interval -> interval

val (-$.) : interval -> float -> interval

val (-.$) : float -> interval -> interval

val (~-$) : interval -> interval

val (*$.) : interval -> float -> interval

val (*.$) : float -> interval -> interval

val (*$) : interval -> interval -> interval

val (/$.) : interval -> float -> interval

val (/.$) : float -> interval -> interval

val (/$) : interval -> interval -> interval

val mod_I_f : interval -> float -> interval

val inv_I : interval -> interval

val sqrt_I : interval -> interval

val pow_I_i : interval -> int -> interval

val (**$.) : interval -> float -> interval

val (**$) : interval -> interval -> interval

val (**.$) : float -> interval -> interval

val log_I : interval -> interval

val exp_I : interval -> interval

val cos_I : interval -> interval

val sin_I : interval -> interval

val tan_I : interval -> interval

val acos_I : interval -> interval

val asin_I : interval -> interval

val atan_I : interval -> interval

val atan2mod_I_I : interval -> interval -> interval

val atan2_I_I : interval -> interval -> interval

val cosh_I : interval -> interval

val sinh_I : interval -> interval

val tanh_I : interval -> interval

val size_max_X : interval array -> float

val size_mean_X : interval array -> float

val printf_X : (float -> string, unit, string) format -> interval array -> unit

val fprintf_X : 
  out_channel ->
  (float -> string, unit, string) format ->
  interval array ->
  unit

val sprintf_X : 
  (float -> string, unit, string) format ->
  interval array ->
  string

val print_X : interval array -> unit

val print_I : interval -> unit

val size_X : interval array -> float

val size2_X : interval array -> float

val (<$.) : interval -> float -> int

val pow_I_f : interval -> float -> interval

val pow_I_I : interval -> interval -> interval

package interval