function
Library: Random number utilities (OMRANDOM)
Import : omrandom.xmd |
export external function set-seed to value integer seed
random.set-seed
provides a seed to prime the random number generator. Different seed values will
produce different sequences of numbers. By using the same seed for each run, the sequence of
pseudo-random numbers can be kept the same. If the application is using random numbers to perform some kind of
simulation, the simulation can be repeated by supplying the same seed.
The following program will generate a different sequence of numbers each time, because the seed is
always different:
import "omutil.xmd" prefixed by util. import "omrandom.xmd" prefixed by random. process local integer seed initial { util.millisecond-time } output "The seed is: %d(seed)%n" random.set-seed to seed repeat for integer i to 100 output "d" % i || ". " || "d" % random.uniform || "%n" again
The following program will generate the same sequence of numbers each time, because the seed is
always 12345
:
import "omrandom.xmd" prefixed by random. process local integer seed initial { 12345 } output "The seed is: %d(seed)%n" random.set-seed to seed repeat for integer i to 100 output "d" % i || ". " || "d" % random.uniform || "%n" again