random.cpp File Reference

#include "interface/random.h"
#include "interface/gmp-util.h"
#include "exceptions.hpp"
#include "error.h"

Go to the source code of this file.

Macros
#define	INITIALMAXINT   10
#define	IA   16807
#define	IM   2147483647
#define	IQ   127773
#define	IR   2836
#define	MASK   123459876

Functions
void	rawRandomInitialize ()
void	rawSetRandomSeed (gmp_ZZ newseed)
void	rawSetRandomMax (gmp_ZZ newHeight)
unsigned long	rawRandomULong (unsigned long max)
int32_t	rawRandomInt (int32_t max)
void	rawSetRandomInteger (mpz_ptr result, gmp_ZZ maxN)
gmp_ZZ	rawRandomInteger (gmp_ZZ maxN)
void	rawSetFareyApproximation (mpq_ptr result, gmp_RR x, gmp_ZZ height)
gmp_QQ	rawFareyApproximation (gmp_RR x, gmp_ZZ height)
void	rawSetRandomQQ (mpq_ptr result, gmp_ZZ height)
gmp_QQ	rawRandomQQ (gmp_ZZ height)
gmp_RR	rawRandomRRUniform (unsigned long precision)
gmp_RR	rawRandomRRNormal (unsigned long precision)
gmp_CC	rawRandomCC (unsigned long precision)
void	randomMpfr (mpfr_t result)
double	randomDouble ()
void	rawSetRandomRRi (mpfi_ptr result)
gmp_RRi	rawRandomRRi (unsigned long precision)
gmp_CCi	rawRandomCCi (unsigned long precision)
int	system_randomint ()

Variables
static mpz_t	maxHeight
static gmp_randstate_t	state
static int32_t	RandomSeed = MASK