Module Gmp_random

module Gmp_random: sig .. end
GMP random generation functions

type state 

GMP random generation functions

Random State Initialization



C documentation
val init_default : unit -> state
val init_lc_2exp : 'a Mpz.tt -> int -> int -> state
val init_lc_2exp_size : int -> state

Random State Seeding



C documentation
val seed : state -> 'a Mpz.tt -> unit
val seed_ui : state -> int -> unit

Random Number Functions



Integers (Mpz)



C documentation
module Mpz: sig .. end

Floating-point (Mpf)



C documentation
module Mpf: sig .. end

Floating-point (Mpfr)



C documentation
module Mpfr: sig .. end