Return to standard_random_numbers.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers |
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers / standard_random_numbers.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:26 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with Standard_Floating_Numbers; use Standard_Floating_Numbers; with Standard_Complex_Numbers; use Standard_Complex_Numbers; package Standard_Random_Numbers is -- DESCRIPTION : -- This package provides random number generators for machine numbers. function Random ( lower,upper : integer ) return integer; -- DESCRIPTION : -- lower <= Random(lower,upper) <= upper, randomly generated. function Random return double_float; -- DESCRIPTION : -- Returns a random floating-point number in [-1,1]. function Random return Complex_Number; -- DESCRIPTION : -- Returns a random complex number, with real and imaginary -- part in [-1,1]. function Random ( modulus : double_float ) return Complex_Number; -- DESCRIPTION : -- Generates a random complex number with a given modulus, -- so only the argument angle will be chosen at random. function Random1 return Complex_Number; -- DESCRIPTION : -- Generates a random complex number with modulus one. end Standard_Random_Numbers;