DEFINITION MODULE RandomExtras;

EXPORT QUALIFIED Random01, Normal1;

PROCEDURE Random01 () : REAL ;
(* Return a real number from a uniform distribution between 0 and 1 *)

PROCEDURE Normal1 () : REAL ;
(* Yield a variable normally distributed with mean zero, s.d. one *)
(* Uses the Polar Method described in Knuth, 
   Seminumerical algorithms, page 104 *)

END RandomExtras.
