My Project
Loading...
Searching...
No Matches
cf_random.cc File Reference
#include "config.h"
#include <time.h>
#include "cf_assert.h"
#include "cf_defs.h"
#include "cf_random.h"
#include "ffops.h"
#include "gfops.h"
#include "imm.h"
#include <flint/flint.h>

Go to the source code of this file.

Data Structures

class  RandomGenerator

Functions

int factoryrandom (int n)
 random integers with abs less than n
void factoryseed (int s)
 random seed initializer

Variables

GLOBAL_VAR flint_rand_t FLINTrandom
INST_VAR RandomGenerator ranGen

Function Documentation

◆ factoryrandom()

int factoryrandom ( int n)

random integers with abs less than n

Definition at line 177 of file cf_random.cc.

178{
179 if ( n == 0 )
180 return (int)ranGen.generate();
181 else
182 return ranGen.generate() % n;
183}
INST_VAR RandomGenerator ranGen
Definition cf_random.cc:63

◆ factoryseed()

void factoryseed ( int s)

random seed initializer

Definition at line 186 of file cf_random.cc.

187{
188 ranGen.seed( s );
189
190#ifdef HAVE_FLINT
191#if (__FLINT_RELEASE>=30300)
192 flint_rand_init(FLINTrandom);
193#else
194 flint_randinit(FLINTrandom);
195#endif
196#endif
197}
GLOBAL_VAR flint_rand_t FLINTrandom
Definition cf_random.cc:23
const CanonicalForm int s
Definition facAbsFact.cc:51

Variable Documentation

◆ FLINTrandom

GLOBAL_VAR flint_rand_t FLINTrandom

Definition at line 23 of file cf_random.cc.

◆ ranGen

Definition at line 63 of file cf_random.cc.