1246 |
|
|
1247 |
(deftest bignum.float.compare.1a |
(deftest bignum.float.compare.1a |
1248 |
(loop for x in *floats* |
(loop for x in *floats* |
1249 |
when (or (= x 0) |
when (or (zerop x) |
1250 |
(< (abs (log (abs x))) 10000)) |
(< (abs (log (abs x))) 10000)) |
1251 |
nconc |
nconc |
1252 |
(loop for r = (1+ (random (ash 1 (random 32)))) |
(loop for r = (1+ (random (ash 1 (random 32)))) |
1259 |
|
|
1260 |
(deftest bignum.float.compare.1b |
(deftest bignum.float.compare.1b |
1261 |
(loop for x in *floats* |
(loop for x in *floats* |
1262 |
when (or (= x 0) |
when (or (zerop x) |
1263 |
(< (abs (log (abs x))) 10000)) |
(< (abs (log (abs x))) 10000)) |
1264 |
nconc |
nconc |
1265 |
(loop for r = (1+ (random (ash 1 (random 32)))) |
(loop for r = (1+ (random (ash 1 (random 32)))) |
1272 |
|
|
1273 |
(deftest bignum.float.compare.2a |
(deftest bignum.float.compare.2a |
1274 |
(loop for x in *floats* |
(loop for x in *floats* |
1275 |
when (or (= x 0) |
when (or (zerop x) |
1276 |
(< (abs (log (abs x))) 10000)) |
(< (abs (log (abs x))) 10000)) |
1277 |
nconc |
nconc |
1278 |
(loop for r = (1+ (random (ash 1 (random 32)))) |
(loop for r = (1+ (random (ash 1 (random 32)))) |
1285 |
|
|
1286 |
(deftest bignum.float.compare.2b |
(deftest bignum.float.compare.2b |
1287 |
(loop for x in *floats* |
(loop for x in *floats* |
1288 |
when (or (= x 0) |
when (or (zerop x) |
1289 |
(< (abs (log (abs x))) 10000)) |
(< (abs (log (abs x))) 10000)) |
1290 |
nconc |
nconc |
1291 |
(loop for r = (1+ (random (ash 1 (random 32)))) |
(loop for r = (1+ (random (ash 1 (random 32)))) |
1298 |
|
|
1299 |
(deftest bignum.float.compare.3a |
(deftest bignum.float.compare.3a |
1300 |
(loop for x in *floats* |
(loop for x in *floats* |
1301 |
when (or (= x 0) |
when (or (zerop x) |
1302 |
(< (abs (log (abs x))) 10000)) |
(< (abs (log (abs x))) 10000)) |
1303 |
nconc |
nconc |
1304 |
(loop for r = (1+ (random (ash 1 (random 32)))) |
(loop for r = (1+ (random (ash 1 (random 32)))) |
1311 |
|
|
1312 |
(deftest bignum.float.compare.3b |
(deftest bignum.float.compare.3b |
1313 |
(loop for x in *floats* |
(loop for x in *floats* |
1314 |
when (or (= x 0) |
when (or (zerop x) |
1315 |
(< (abs (log (abs x))) 10000)) |
(< (abs (log (abs x))) 10000)) |
1316 |
nconc |
nconc |
1317 |
(loop for r = (1+ (random (ash 1 (random 32)))) |
(loop for r = (1+ (random (ash 1 (random 32)))) |
1324 |
|
|
1325 |
(deftest bignum.float.compare.4a |
(deftest bignum.float.compare.4a |
1326 |
(loop for x in *floats* |
(loop for x in *floats* |
1327 |
when (or (= x 0) |
when (or (zerop x) |
1328 |
(< (abs (log (abs x))) 10000)) |
(< (abs (log (abs x))) 10000)) |
1329 |
nconc |
nconc |
1330 |
(loop for r = (1+ (random (ash 1 (random 32)))) |
(loop for r = (1+ (random (ash 1 (random 32)))) |
1337 |
|
|
1338 |
(deftest bignum.float.compare.4b |
(deftest bignum.float.compare.4b |
1339 |
(loop for x in *floats* |
(loop for x in *floats* |
1340 |
when (or (= x 0) |
when (or (zerop x) |
1341 |
(< (abs (log (abs x))) 10000)) |
(< (abs (log (abs x))) 10000)) |
1342 |
nconc |
nconc |
1343 |
(loop for r = (1+ (random (ash 1 (random 32)))) |
(loop for r = (1+ (random (ash 1 (random 32)))) |
1350 |
|
|
1351 |
(deftest bignum.float.compare.5a |
(deftest bignum.float.compare.5a |
1352 |
(loop for x in *floats* |
(loop for x in *floats* |
1353 |
when (or (= x 0) |
when (or (zerop x) |
1354 |
(< (abs (log (abs x))) 10000)) |
(< (abs (log (abs x))) 10000)) |
1355 |
nconc |
nconc |
1356 |
(loop for r = (1+ (random (ash 1 (random 32)))) |
(loop for r = (1+ (random (ash 1 (random 32)))) |
1363 |
|
|
1364 |
(deftest bignum.float.compare.5b |
(deftest bignum.float.compare.5b |
1365 |
(loop for x in *floats* |
(loop for x in *floats* |
1366 |
when (or (= x 0) |
when (or (zerop x) |
1367 |
(< (abs (log (abs x))) 10000)) |
(< (abs (log (abs x))) 10000)) |
1368 |
nconc |
nconc |
1369 |
(loop for r = (1+ (random (ash 1 (random 32)))) |
(loop for r = (1+ (random (ash 1 (random 32)))) |
1376 |
|
|
1377 |
(deftest bignum.float.compare.6a |
(deftest bignum.float.compare.6a |
1378 |
(loop for x in *floats* |
(loop for x in *floats* |
1379 |
when (or (= x 0) |
when (or (zerop x) |
1380 |
(< (abs (log (abs x))) 10000)) |
(< (abs (log (abs x))) 10000)) |
1381 |
nconc |
nconc |
1382 |
(loop for r = (1+ (random (ash 1 (random 32)))) |
(loop for r = (1+ (random (ash 1 (random 32)))) |
1389 |
|
|
1390 |
(deftest bignum.float.compare.6b |
(deftest bignum.float.compare.6b |
1391 |
(loop for x in *floats* |
(loop for x in *floats* |
1392 |
when (or (= x 0) |
when (or (zerop x) |
1393 |
(< (abs (log (abs x))) 10000)) |
(< (abs (log (abs x))) 10000)) |
1394 |
nconc |
nconc |
1395 |
(loop for r = (1+ (random (ash 1 (random 32)))) |
(loop for r = (1+ (random (ash 1 (random 32)))) |