74 |
collect x) |
collect x) |
75 |
nil) |
nil) |
76 |
|
|
77 |
|
(deftest floor.12 |
78 |
|
(let* ((radix (float-radix 1.0s0)) |
79 |
|
(rad (float radix 1.0s0)) |
80 |
|
(rrad (/ 1.0s0 rad))) |
81 |
|
(loop for i from 1 to 1000 |
82 |
|
for x = (+ i rrad) |
83 |
|
for (q r) = (multiple-value-list (floor x)) |
84 |
|
unless (and (eql q i) |
85 |
|
(eql r rrad)) |
86 |
|
collect (list i x q r))) |
87 |
|
nil) |
88 |
|
|
89 |
|
(deftest floor.13 |
90 |
|
(let* ((radix (float-radix 1.0s0)) |
91 |
|
(rad (float radix 1.0s0)) |
92 |
|
(rrad (/ 1.0s0 rad))) |
93 |
|
(loop for i from 1 to 1000 |
94 |
|
for x = (- i rrad) |
95 |
|
for (q r) = (multiple-value-list (floor x)) |
96 |
|
unless (and (eql q (1- i)) |
97 |
|
(eql r rrad)) |
98 |
|
collect (list i x q r))) |
99 |
|
nil) |
100 |
|
|
101 |
|
(deftest floor.14 |
102 |
|
(let* ((radix (float-radix 1.0f0)) |
103 |
|
(rad (float radix 1.0f0)) |
104 |
|
(rrad (/ 1.0f0 rad))) |
105 |
|
(loop for i from 1 to 1000 |
106 |
|
for x = (+ i rrad) |
107 |
|
for (q r) = (multiple-value-list (floor x)) |
108 |
|
unless (and (eql q i) |
109 |
|
(eql r rrad)) |
110 |
|
collect (list i x q r))) |
111 |
|
nil) |
112 |
|
|
113 |
|
(deftest floor.15 |
114 |
|
(let* ((radix (float-radix 1.0f0)) |
115 |
|
(rad (float radix 1.0f0)) |
116 |
|
(rrad (/ 1.0f0 rad))) |
117 |
|
(loop for i from 1 to 1000 |
118 |
|
for x = (- i rrad) |
119 |
|
for (q r) = (multiple-value-list (floor x)) |
120 |
|
unless (and (eql q (1- i)) |
121 |
|
(eql r rrad)) |
122 |
|
collect (list i x q r))) |
123 |
|
nil) |
124 |
|
|
125 |
|
(deftest floor.16 |
126 |
|
(let* ((radix (float-radix 1.0d0)) |
127 |
|
(rad (float radix 1.0d0)) |
128 |
|
(rrad (/ 1.0d0 rad))) |
129 |
|
(loop for i from 1 to 1000 |
130 |
|
for x = (+ i rrad) |
131 |
|
for (q r) = (multiple-value-list (floor x)) |
132 |
|
unless (and (eql q i) |
133 |
|
(eql r rrad)) |
134 |
|
collect (list i x q r))) |
135 |
|
nil) |
136 |
|
|
137 |
|
(deftest floor.17 |
138 |
|
(let* ((radix (float-radix 1.0d0)) |
139 |
|
(rad (float radix 1.0d0)) |
140 |
|
(rrad (/ 1.0d0 rad))) |
141 |
|
(loop for i from 1 to 1000 |
142 |
|
for x = (- i rrad) |
143 |
|
for (q r) = (multiple-value-list (floor x)) |
144 |
|
unless (and (eql q (1- i)) |
145 |
|
(eql r rrad)) |
146 |
|
collect (list i x q r))) |
147 |
|
nil) |
148 |
|
|
149 |
|
(deftest floor.18 |
150 |
|
(let* ((radix (float-radix 1.0l0)) |
151 |
|
(rad (float radix 1.0l0)) |
152 |
|
(rrad (/ 1.0l0 rad))) |
153 |
|
(loop for i from 1 to 1000 |
154 |
|
for x = (+ i rrad) |
155 |
|
for (q r) = (multiple-value-list (floor x)) |
156 |
|
unless (and (eql q i) |
157 |
|
(eql r rrad)) |
158 |
|
collect (list i x q r))) |
159 |
|
nil) |
160 |
|
|
161 |
|
(deftest floor.19 |
162 |
|
(let* ((radix (float-radix 1.0l0)) |
163 |
|
(rad (float radix 1.0l0)) |
164 |
|
(rrad (/ 1.0l0 rad))) |
165 |
|
(loop for i from 1 to 1000 |
166 |
|
for x = (- i rrad) |
167 |
|
for (q r) = (multiple-value-list (floor x)) |
168 |
|
unless (and (eql q (1- i)) |
169 |
|
(eql r rrad)) |
170 |
|
collect (list i x q r))) |
171 |
|
nil) |
172 |
|
|
173 |
|
;;; To add: tests that involve adding/subtracting EPSILON constants |
174 |
|
;;; (suitably scaled) to floated integers. |
175 |
|
|