102 |
for yc = (%r) |
for yc = (%r) |
103 |
for y = (complex yr yc) |
for y = (complex yr yc) |
104 |
for prod = (* x y) |
for prod = (* x y) |
105 |
repeat 10000 |
repeat 1000 |
106 |
unless (and (eql (realpart prod) (- (integer-times xr yr) |
unless (and (eql (realpart prod) (- (integer-times xr yr) |
107 |
(integer-times xc yc))) |
(integer-times xc yc))) |
108 |
(eql (imagpart prod) (+ (integer-times xr yc) |
(eql (imagpart prod) (+ (integer-times xr yc) |
122 |
for yc = (%r) |
for yc = (%r) |
123 |
for y = (complex yr yc) |
for y = (complex yr yc) |
124 |
for prod = (* x y) |
for prod = (* x y) |
125 |
repeat 10000 |
repeat 1000 |
126 |
unless (and (eql (realpart prod) (- (rat-times xr yr) |
unless (and (eql (realpart prod) (- (rat-times xr yr) |
127 |
(rat-times xc yc))) |
(rat-times xc yc))) |
128 |
(eql (imagpart prod) (+ (rat-times xr yc) |
(eql (imagpart prod) (+ (rat-times xr yc) |
183 |
(loop for x = (random-from-interval bound) |
(loop for x = (random-from-interval bound) |
184 |
for y = (random-from-interval bound) |
for y = (random-from-interval bound) |
185 |
for p = (* x y) |
for p = (* x y) |
186 |
repeat 10000 |
repeat 1000 |
187 |
unless (and (eql p (* y x)) |
unless (and (eql p (* y x)) |
188 |
(typep p 'short-float)) |
(typep p 'short-float)) |
189 |
collect (list x y p))) |
collect (list x y p))) |
194 |
(loop for x = (random-from-interval bound) |
(loop for x = (random-from-interval bound) |
195 |
for y = (random-from-interval bound) |
for y = (random-from-interval bound) |
196 |
for p = (* x y) |
for p = (* x y) |
197 |
repeat 10000 |
repeat 1000 |
198 |
unless (and (eql p (* y x)) |
unless (and (eql p (* y x)) |
199 |
(typep p 'single-float)) |
(typep p 'single-float)) |
200 |
collect (list x y p))) |
collect (list x y p))) |
205 |
(loop for x = (random-from-interval bound) |
(loop for x = (random-from-interval bound) |
206 |
for y = (random-from-interval bound) |
for y = (random-from-interval bound) |
207 |
for p = (* x y) |
for p = (* x y) |
208 |
repeat 10000 |
repeat 1000 |
209 |
unless (and (eql p (* y x)) |
unless (and (eql p (* y x)) |
210 |
(typep p 'double-float)) |
(typep p 'double-float)) |
211 |
collect (list x y p))) |
collect (list x y p))) |
216 |
(loop for x = (random-from-interval bound) |
(loop for x = (random-from-interval bound) |
217 |
for y = (random-from-interval bound) |
for y = (random-from-interval bound) |
218 |
for p = (* x y) |
for p = (* x y) |
219 |
repeat 10000 |
repeat 1000 |
220 |
unless (and (eql p (* y x)) |
unless (and (eql p (* y x)) |
221 |
(typep p 'long-float)) |
(typep p 'long-float)) |
222 |
collect (list x y p))) |
collect (list x y p))) |
228 |
(loop for x = (random-from-interval bound) |
(loop for x = (random-from-interval bound) |
229 |
for y = (random-from-interval bound2) |
for y = (random-from-interval bound2) |
230 |
for p = (* x y) |
for p = (* x y) |
231 |
repeat 10000 |
repeat 1000 |
232 |
unless (and (eql p (* y x)) |
unless (and (eql p (* y x)) |
233 |
(typep p 'single-float)) |
(typep p 'single-float)) |
234 |
collect (list x y p))) |
collect (list x y p))) |
240 |
(loop for x = (random-from-interval bound) |
(loop for x = (random-from-interval bound) |
241 |
for y = (random-from-interval bound2) |
for y = (random-from-interval bound2) |
242 |
for p = (* x y) |
for p = (* x y) |
243 |
repeat 10000 |
repeat 1000 |
244 |
unless (and (eql p (* y x)) |
unless (and (eql p (* y x)) |
245 |
(typep p 'double-float)) |
(typep p 'double-float)) |
246 |
collect (list x y p))) |
collect (list x y p))) |
252 |
(loop for x = (random-from-interval bound) |
(loop for x = (random-from-interval bound) |
253 |
for y = (random-from-interval bound2) |
for y = (random-from-interval bound2) |
254 |
for p = (* x y) |
for p = (* x y) |
255 |
repeat 10000 |
repeat 1000 |
256 |
unless (and (eql p (* y x)) |
unless (and (eql p (* y x)) |
257 |
(typep p 'long-float)) |
(typep p 'long-float)) |
258 |
collect (list x y p))) |
collect (list x y p))) |
264 |
(loop for x = (random-from-interval bound) |
(loop for x = (random-from-interval bound) |
265 |
for y = (random-from-interval bound2) |
for y = (random-from-interval bound2) |
266 |
for p = (* x y) |
for p = (* x y) |
267 |
repeat 10000 |
repeat 1000 |
268 |
unless (and (eql p (* y x)) |
unless (and (eql p (* y x)) |
269 |
(typep p 'double-float)) |
(typep p 'double-float)) |
270 |
collect (list x y p))) |
collect (list x y p))) |
276 |
(loop for x = (random-from-interval bound) |
(loop for x = (random-from-interval bound) |
277 |
for y = (random-from-interval bound2) |
for y = (random-from-interval bound2) |
278 |
for p = (* x y) |
for p = (* x y) |
279 |
repeat 10000 |
repeat 1000 |
280 |
unless (and (eql p (* y x)) |
unless (and (eql p (* y x)) |
281 |
(typep p 'long-float)) |
(typep p 'long-float)) |
282 |
collect (list x y p))) |
collect (list x y p))) |
288 |
(loop for x = (random-from-interval bound) |
(loop for x = (random-from-interval bound) |
289 |
for y = (random-from-interval bound2) |
for y = (random-from-interval bound2) |
290 |
for p = (* x y) |
for p = (* x y) |
291 |
repeat 10000 |
repeat 1000 |
292 |
unless (and (eql p (* y x)) |
unless (and (eql p (* y x)) |
293 |
(typep p 'long-float)) |
(typep p 'long-float)) |
294 |
collect (list x y p))) |
collect (list x y p))) |
305 |
for j = (random bound) |
for j = (random bound) |
306 |
for y = (coerce j type) |
for y = (coerce j type) |
307 |
for prod = (* x y) |
for prod = (* x y) |
308 |
repeat 10000 |
repeat 1000 |
309 |
unless (and (eql prod (coerce (* i j) type)) |
unless (and (eql prod (coerce (* i j) type)) |
310 |
(eql prod (* y x))) |
(eql prod (* y x))) |
311 |
collect (list i j x y (* x y) (coerce (* i j) type)))) |
collect (list i j x y (* x y) (coerce (* i j) type)))) |
352 |
for cx = (complex 1.0 x) |
for cx = (complex 1.0 x) |
353 |
for cy = (complex 1.0 y) |
for cy = (complex 1.0 y) |
354 |
for prod = (* cx cy) |
for prod = (* cx cy) |
355 |
repeat 10000 |
repeat 1000 |
356 |
unless (and (eql prod (complex (coerce (- 1 (* i j)) type) |
unless (and (eql prod (complex (coerce (- 1 (* i j)) type) |
357 |
(coerce (+ i j) type))) |
(coerce (+ i j) type))) |
358 |
(eql prod (* cy cx))) |
(eql prod (* cy cx))) |