package mlgmpidl

You can search for identifiers within the package.

in-package search v0.2.0

package mlgmpidl

gmp
- Gmp_random
  - Mpf
  - Mpfr
  - Mpz
- Mpf
- Mpfr
- Mpfrf
- Mpq
- Mpqf
- Mpz
- Mpzf

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a tt

type m

type f

type t = m tt

val canonicalize : 'a tt -> unit

val print : Format.formatter -> 'a tt -> unit

val init : unit -> 'a tt

val set : t -> 'a tt -> unit

val set_z : t -> 'a Mpz.tt -> unit

val set_si : t -> int -> int -> unit

val _set_str : t -> string -> int -> unit

val set_str : t -> string -> base:int -> unit

val swap : t -> t -> unit

val init_set : 'a tt -> 'b tt

val init_set_z : 'a Mpz.tt -> 'b tt

val init_set_si : int -> int -> 'a tt

val init_set_str : string -> base:int -> 'a tt

val init_set_d : float -> 'a tt

val get_d : 'a tt -> float

val set_d : t -> float -> unit

val get_z : Mpz.t -> 'a tt -> unit

val _get_str : int -> 'a tt -> string

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

val to_string : 'a tt -> string

val to_float : 'a tt -> float

val of_string : string -> 'a tt

val of_float : float -> 'a tt

val of_int : int -> 'a tt

val of_frac : int -> int -> 'a tt

val of_mpz : 'a Mpz.tt -> 'b tt

val of_mpz2 : 'a Mpz.tt -> 'b Mpz.tt -> 'c tt

val add : t -> 'a tt -> 'b tt -> unit

val sub : t -> 'a tt -> 'b tt -> unit

val mul : t -> 'a tt -> 'b tt -> unit

val mul_2exp : t -> 'a tt -> int -> unit

val div : t -> 'a tt -> 'b tt -> unit

val div_2exp : t -> 'a tt -> int -> unit

val neg : t -> 'a tt -> unit

val abs : t -> 'a tt -> unit

val inv : t -> 'a tt -> unit

val cmp : 'a tt -> 'b tt -> int

val cmp_si : 'a tt -> int -> int -> int

val sgn : 'a tt -> int

val equal : 'a tt -> 'b tt -> bool

val get_num : Mpz.t -> 'a tt -> unit

val get_den : Mpz.t -> 'a tt -> unit

val set_num : t -> 'a Mpz.tt -> unit

val set_den : t -> 'a Mpz.tt -> unit