RandomNumberGenerator

Usage

import from RandomNumberGenerator

Description

RandomNumberGenerator provides independent pseudo-random number generators.

Exports

apply:	% $\to$ Z	generate a random number
generator:	% $\to$ Generator Z	generate random numbers
max:	% $\to$ Z	largest number that can be generated
min:	% $\to$ Z	smallest number that can be generated
numberOfGenerators:	Z	number of predefined generators
randomGenerator:	() $\to$ %	get a generator
randomGenerator:	Z $\to$ %	get a generator
randomGenerator:	(Z, Z) $\to$ %	get a bounded generator
randomGenerator:	(Z, Z, Z) $\to$ %	get a bounded generator
randomInteger:	() $\to$ Z	generate a random number
seed:	(%, Z) $\to$ Z	set the seed

where

Z

==

MachineInteger