This CD is part of the distribution of LeActiveMath and is used
in the exercises suite.
http://www.leactivemath.org/cd
rand2
http://www.leactivemath.org/cd/rand2.ocd
private
1
2005-06-30
Pseudo-random generators of expressions of the types
described in the exprtypes CD
random_element
Pseudo-random element generator in the domain specified in
the argument.
application
seeded_random_element
Pseudo-random generator of an element of a certain domain
with initial seed. This function generates a random element of the
domain specified as its first argument by first resetting the
initial seed value used by the pseudo-random algorithm. Consecutive
calls with identical seed must return the same result since the
pseudo-random algorithm is deterministic.
application
7