27 |
t) |
t) |
28 |
|
|
29 |
(deftest expt.3 |
(deftest expt.3 |
30 |
(loop for i = (random 10000.0s0) |
(loop for i = (random 1.0s3) |
31 |
repeat 1000 |
repeat 1000 |
32 |
always (eql (expt i 0) 1.0s0)) |
always (eql (expt i 0) 1.0s0)) |
33 |
t) |
t) |
39 |
t) |
t) |
40 |
|
|
41 |
(deftest expt.5 |
(deftest expt.5 |
42 |
(loop for i = (random 1.0d20) |
(loop for i = (random 1.0d10) |
43 |
repeat 1000 |
repeat 1000 |
44 |
always (eql (expt i 0) 1.0d0)) |
always (eql (expt i 0) 1.0d0)) |
45 |
t) |
t) |
46 |
|
|
47 |
(deftest expt.6 |
(deftest expt.6 |
48 |
(loop for i = (random 1.0l50) |
(loop for i = (random 1.0l10) |
49 |
repeat 1000 |
repeat 1000 |
50 |
always (eql (expt i 0) 1.0l0)) |
always (eql (expt i 0) 1.0l0)) |
51 |
t) |
t) |
52 |
|
|
53 |
|
(deftest expt.7 |
54 |
|
(loop for i from -1000 to 1000 |
55 |
|
for c = (complex i i) |
56 |
|
always (eql (expt c 0) 1)) |
57 |
|
t) |
58 |
|
|
59 |
|
(deftest expt.8 |
60 |
|
(loop for i = (random 1.0s3) |
61 |
|
for c = (complex i i) |
62 |
|
repeat 1000 |
63 |
|
always (eql (expt c 0) #c(1.0s0 0.0s0))) |
64 |
|
t) |
65 |
|
|
66 |
|
(deftest expt.9 |
67 |
|
(loop for i = (random 1.0f6) |
68 |
|
for c = (complex i i) |
69 |
|
repeat 1000 |
70 |
|
always (eql (expt c 0) #c(1.0f0 0.0f0))) |
71 |
|
t) |
72 |
|
|
73 |
|
(deftest expt.10 |
74 |
|
(loop for i = (random 1.0d10) |
75 |
|
for c = (complex i i) |
76 |
|
repeat 1000 |
77 |
|
always (eql (expt c 0) #c(1.0d0 0.0d0))) |
78 |
|
t) |
79 |
|
|
80 |
|
(deftest expt.11 |
81 |
|
(loop for i = (random 1.0l10) |
82 |
|
for c = (complex i i) |
83 |
|
repeat 1000 |
84 |
|
always (eql (expt c 0) #c(1.0l0 0.0l0))) |
85 |
|
t) |
86 |
|
|
87 |
|
|
88 |
|
|