32 |
(not (typep (1+ i) tp))) |
(not (typep (1+ i) tp))) |
33 |
collect (list i tp)) |
collect (list i tp)) |
34 |
nil) |
nil) |
35 |
|
|
36 |
|
(deftest real.3 |
37 |
|
(loop for i = 4 then (ash i 1) |
38 |
|
for tp = `(real 0 ,(/ i 3)) |
39 |
|
repeat 200 |
40 |
|
unless (and (not (typep -1 tp)) |
41 |
|
(not (typep -0.0001 tp)) |
42 |
|
(typep 0 tp) |
43 |
|
(typep 0.0001 tp) |
44 |
|
(typep 1 tp) |
45 |
|
(typep (/ i 3) tp) |
46 |
|
(not (typep (/ (1+ i) 3) tp))) |
47 |
|
collect (list i tp)) |
48 |
|
nil) |
49 |
|
|
50 |
|
(deftest real.4 |
51 |
|
(loop for i = 4 then (ash i 1) |
52 |
|
for tp = `(real ,(- (/ i 3)) 0) |
53 |
|
repeat 200 |
54 |
|
unless (and (not (typep (- -1 (/ i 3)) tp)) |
55 |
|
(typep (- (/ i 3)) tp) |
56 |
|
(typep -1 tp) |
57 |
|
(typep 0 tp) |
58 |
|
(not (typep 1 tp)) |
59 |
|
(not (typep (/ i 3) tp)) |
60 |
|
(not (typep (1+ (/ i 3)) tp))) |
61 |
|
collect (list i tp)) |
62 |
|
nil) |