random.spad line 1

Random number generators All random numbers used in the system should originate from the same generator. This package is intended to be the source.

randnum: () -> Integer
randnum() is a random number between 0 and size().
randnum: Integer -> Integer
randnum(n) is a random number between 0 and n-1.
reseed: Integer -> Void
reseed(n) restarts the random number generator at n.
seed: () -> Integer
seed() returns the current seed value.
size: () -> Integer
size() is the base of the random number generator