mlgmp 20120224 · OCaml Package

type t

val zero : t

val create_prec : prec:int -> unit -> t

val create : unit -> t

val default_prec : int Pervasives.ref

val from_z_prec : prec:int -> mode:rounding_mode -> Z.t -> t

val from_q_prec : prec:int -> mode:rounding_mode -> Q.t -> t

val from_si_prec : prec:int -> mode:rounding_mode -> int -> t

val from_float_prec : prec:int -> mode:rounding_mode -> float -> t

val float_from : t -> float

val to_float_mode : mode:rounding_mode -> t -> float

val from_string_prec_base : 
  prec:int ->
  mode:rounding_mode ->
  base:int ->
  string ->
  t

val to_string_exp_base_digits : 
  mode:rounding_mode ->
  base:int ->
  digits:int ->
  t ->
  string * int

val add_prec : prec:int -> mode:rounding_mode -> t -> t -> t

val sub_prec : prec:int -> mode:rounding_mode -> t -> t -> t

val mul_prec : prec:int -> mode:rounding_mode -> t -> t -> t

val div_prec : prec:int -> mode:rounding_mode -> t -> t -> t

val add_prec_ui : prec:int -> mode:rounding_mode -> t -> int -> t

val sub_prec_ui : prec:int -> mode:rounding_mode -> t -> int -> t

val mul_prec_ui : prec:int -> mode:rounding_mode -> t -> int -> t

val div_prec_ui : prec:int -> mode:rounding_mode -> t -> int -> t

val neg_prec : prec:int -> mode:rounding_mode -> t -> t

val abs_prec : prec:int -> mode:rounding_mode -> t -> t

val inv_prec : prec:int -> mode:rounding_mode -> t -> t

val reldiff_prec : prec:int -> mode:rounding_mode -> t -> t

val ceil_prec : prec:int -> t -> t

val floor_prec : prec:int -> t -> t

val trunc_prec : prec:int -> t -> t

val rint_prec : prec:int -> mode:rounding_mode -> t -> t

val cmp : t -> t -> int

val compare : t -> t -> int

val sgn : t -> int

val eq : t -> t -> prec:int -> bool

val is_nan : t -> bool

val urandomb : prec:int -> state:RNG.randstate_t -> t

val from_z : Z.t -> t

val from_q : Q.t -> t

val from_si : int -> t

val from_int : int -> t

val from_float : float -> t

val to_float : t -> float

val from_string_base : base:int -> string -> t

val from_string : string -> t

val add : t -> t -> t

val sub : t -> t -> t

val mul : t -> t -> t

val div : t -> t -> t

val sin_prec : prec:int -> mode:rounding_mode -> t -> t

val cos_prec : prec:int -> mode:rounding_mode -> t -> t

val tan_prec : prec:int -> mode:rounding_mode -> t -> t

val asin_prec : prec:int -> mode:rounding_mode -> t -> t

val acos_prec : prec:int -> mode:rounding_mode -> t -> t

val atan_prec : prec:int -> mode:rounding_mode -> t -> t

val sinh_prec : prec:int -> mode:rounding_mode -> t -> t

val cosh_prec : prec:int -> mode:rounding_mode -> t -> t

val tanh_prec : prec:int -> mode:rounding_mode -> t -> t

val asinh_prec : prec:int -> mode:rounding_mode -> t -> t

val acosh_prec : prec:int -> mode:rounding_mode -> t -> t

val atanh_prec : prec:int -> mode:rounding_mode -> t -> t

val sqrt_prec : prec:int -> mode:rounding_mode -> t -> t

val exp_prec : prec:int -> mode:rounding_mode -> t -> t

val exp2_prec : prec:int -> mode:rounding_mode -> t -> t

val pow_prec : prec:int -> mode:rounding_mode -> t -> t -> t

val pow_prec_ui : prec:int -> mode:rounding_mode -> t -> int -> t

val reldiff : t -> t

val add_ui : t -> int -> t

val sub_ui : t -> int -> t

val mul_ui : t -> int -> t

val div_ui : t -> int -> t

val neg : t -> t

val abs : t -> t

val inv : t -> t

val sin : t -> t

val cos : t -> t

val tan : t -> t

val asin : t -> t

val acos : t -> t

val atan : t -> t

val sinh : t -> t

val cosh : t -> t

val tanh : t -> t

val asinh : t -> t

val acosh : t -> t

val atanh : t -> t

val sqrt : t -> t

val exp : t -> t

val exp2 : t -> t

val pow : t -> t -> t

val pow_ui : t -> int -> t

val floor : t -> t

val ceil : t -> t

val trunc : t -> t

val rint : t -> t

val equal : t -> t -> bool

val to_string_base_digits : 
  mode:rounding_mode ->
  base:int ->
  digits:int ->
  t ->
  string

val to_string : t -> string

val to_z_exp : t -> Z.t * int

val to_z_t : t -> Z.t

val to_z_c : t -> Z.t

val to_z_f : t -> Z.t

val to_z : t -> Z.t

val z_from : t -> Z.t

val is_available : unit -> bool

package mlgmp