Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Numbers/ts_random.adb, Revision 1.1.1.1
1.1 maekawa 1: with text_io,integer_io; use text_io,integer_io;
2: with Standard_Floating_Numbers; use Standard_Floating_Numbers;
3: with Standard_Floating_Numbers_io; use Standard_Floating_Numbers_io;
4: with Standard_Complex_Numbers;
5: with Standard_Complex_Numbers_io; use Standard_Complex_Numbers_io;
6: with Standard_Random_Numbers; use Standard_Random_Numbers;
7: with Multprec_Natural_Numbers; use Multprec_Natural_Numbers;
8: with Multprec_Natural_Numbers_io; use Multprec_Natural_Numbers_io;
9: with Multprec_Integer_Numbers; use Multprec_Integer_Numbers;
10: with Multprec_Integer_Numbers_io; use Multprec_Integer_Numbers_io;
11: with Multprec_Floating_Numbers; use Multprec_Floating_Numbers;
12: with Multprec_Floating_Numbers_io; use Multprec_Floating_Numbers_io;
13: with Multprec_Complex_Numbers;
14: with Multprec_Complex_Numbers_io; use Multprec_Complex_Numbers_io;
15: with Multprec_Random_Numbers; use Multprec_Random_Numbers;
16:
17: procedure ts_random is
18:
19: procedure Random_Standard_Integer is
20:
21: n : natural;
22: low,upp,rndi : integer;
23:
24: begin
25: new_line;
26: put_line("Testing the random generation of standard integer numbers.");
27: new_line;
28: put("Give lower bound : "); get(low);
29: put("Give lower bound : "); get(upp);
30: put("Give number of random integers : "); get(n);
31: put_line("Generating random numbers : ");
32: for i in 1..n loop
33: rndi := Random(low,upp);
34: put(rndi); new_line;
35: end loop;
36: end Random_Standard_Integer;
37:
38: procedure Random_Standard_Complex is
39:
40: n : natural;
41: use Standard_Complex_Numbers;
42: rndc : Complex_Number;
43: absv : double_float;
44:
45: begin
46: new_line;
47: put_line("Testing the random generation of standard complex numbers.");
48: new_line;
49: put("Give the number of randoms to be generated : "); get(n);
50: for k in 1..n loop
51: rndc := Random;
52: put(" x = "); put(rndc);
53: absv := AbsVal(rndc);
54: put(" |x| = "); put(absv,3,3,3); new_line;
55: end loop;
56: end Random_Standard_Complex;
57:
58: procedure Random_Multprec_Natural is
59:
60: n,sz : natural;
61: rnd : Natural_Number;
62:
63: begin
64: new_line;
65: put_line("Testing the random generation of multi-precision naturals.");
66: new_line;
67: put("Give the size of the numbers : "); get(sz);
68: put("Give number of random naturals : "); get(n);
69: put_line("Generating random numbers : ");
70: for i in 1..n loop
71: rnd := Random(sz); put(rnd); new_line;
72: end loop;
73: end Random_Multprec_Natural;
74:
75: procedure Random_Multprec_Integer is
76:
77: n,sz : natural;
78: rnd : Integer_Number;
79:
80: begin
81: new_line;
82: put_line("Testing the random generation of multi-precision integers.");
83: new_line;
84: put("Give the size of the numbers : "); get(sz);
85: put("Give number of random integers : "); get(n);
86: put_line("Generating random numbers : ");
87: for i in 1..n loop
88: rnd := Random(sz); put(rnd); new_line;
89: end loop;
90: end Random_Multprec_Integer;
91:
92: procedure Random_Multprec_Floating is
93:
94: n,sz : natural;
95: rnd : Floating_Number;
96:
97: begin
98: new_line;
99: put_line("Testing the random generation of multi-precision floats.");
100: new_line;
101: put("Give the size of the numbers : "); get(sz);
102: put("Give number of random floating numbers : "); get(n);
103: put_line("Generating random numbers : ");
104: for i in 1..n loop
105: rnd := Random(sz); put(rnd); new_line;
106: end loop;
107: end Random_Multprec_Floating;
108:
109: procedure Random_Multprec_Complex is
110:
111: n,sz : natural;
112: use Multprec_Complex_Numbers;
113: rnd : Complex_Number;
114:
115: begin
116: new_line;
117: put_line("Testing the random generation of multi-precision complex");
118: new_line;
119: put("Give the size of the numbers : "); get(sz);
120: put("Give number of random complex numbers : "); get(n);
121: put_line("Generating random numbers : ");
122: for i in 1..n loop
123: rnd := Random(sz); put(rnd); new_line;
124: end loop;
125: end Random_Multprec_Complex;
126:
127: procedure Main is
128:
129: ans : character;
130:
131: begin
132: new_line;
133: put_line("Testing the Random Number Generators");
134: loop
135: new_line;
136: put_line("Choose one of the following :");
137: put_line(" 0. exit the program.");
138: put_line(" 1. standard integer numbers.");
139: put_line(" 2. standard complex numbers.");
140: put_line(" 3. multi-precision natural numbers.");
141: put_line(" 4. multi-precision integer numbers.");
142: put_line(" 5. multi-precision floating numbers.");
143: put_line(" 6. multi-precision complex numbers.");
144: put("Make your choice (0,1,2,3,4,5 or 6) : "); get(ans);
145: exit when (ans = '0');
146: case ans is
147: when '1' => Random_Standard_Integer;
148: when '2' => Random_Standard_Complex;
149: when '3' => Random_Multprec_Natural;
150: when '4' => Random_Multprec_Integer;
151: when '5' => Random_Multprec_Floating;
152: when '6' => Random_Multprec_Complex;
153: when others => null;
154: end case;
155: end loop;
156: end Main;
157:
158: begin
159: Main;
160: end ts_random;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to ts_random.adb CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers