383 |
most-negative-double-float |
most-negative-double-float |
384 |
most-negative-long-float) |
most-negative-long-float) |
385 |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
386 |
when (if (floatp x) (subtypep (class-of x) (class-of bound)) |
when (<= (rational lower-bound) |
387 |
(<= (rational lower-bound) |
(rational x) |
388 |
x (rational bound))) |
(rational bound)) |
389 |
nconc |
nconc |
390 |
(let* ((y (float x one)) |
(let* ((y (float x one)) |
391 |
(z (* y (- one (* 2 epsilon))))) |
(z (* y (- one (* 2 epsilon))))) |
408 |
most-positive-double-float |
most-positive-double-float |
409 |
most-positive-long-float) |
most-positive-long-float) |
410 |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
411 |
when (if (floatp x) (subtypep (class-of x) (class-of bound)) |
when (<= (rational bound) |
412 |
(<= (rational bound) x (rational upper-bound))) |
(rational x) |
413 |
|
(rational upper-bound)) |
414 |
nconc |
nconc |
415 |
(let* ((y (float x one)) |
(let* ((y (float x one)) |
416 |
(z (* y (- one (* 2 epsilon))))) |
(z (* y (- one (* 2 epsilon))))) |
432 |
most-positive-double-float |
most-positive-double-float |
433 |
most-positive-long-float) |
most-positive-long-float) |
434 |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
435 |
when (if (floatp x) (subtypep (class-of x) |
when (<= (rational lower-bound) |
436 |
(class-of lower-bound)) |
(rational x) |
437 |
(<= (rational lower-bound) |
(rational upper-bound)) |
|
x (rational upper-bound))) |
|
438 |
nconc |
nconc |
439 |
(let* ((y (float x one)) |
(let* ((y (float x one)) |
440 |
(z1 (+ y epsilon)) |
(z1 (+ y epsilon)) |
446 |
))) |
))) |
447 |
|
|
448 |
|
|
449 |
|
|
450 |
(deftest <.4 |
(deftest <.4 |
451 |
(loop for (x y result . rest) in *number-less-tests* |
(loop for (x y result . rest) in *number-less-tests* |
452 |
unless (if (< x y) result (not result)) |
unless (if (< x y) result (not result)) |
584 |
most-negative-double-float |
most-negative-double-float |
585 |
most-negative-long-float) |
most-negative-long-float) |
586 |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
587 |
when (if (floatp x) (subtypep (class-of x) |
when (<= (rational lower-bound) |
588 |
(class-of lower-bound)) |
(rational x) |
589 |
(<= (rational lower-bound) x (rational bound))) |
(rational bound)) |
590 |
nconc |
nconc |
591 |
(let* ((y (float x one)) |
(let* ((y (float x one)) |
592 |
(z (* y (- one (* 2 epsilon))))) |
(z (* y (- one (* 2 epsilon))))) |
608 |
most-positive-double-float |
most-positive-double-float |
609 |
most-positive-long-float) |
most-positive-long-float) |
610 |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
611 |
when (if (floatp x) (subtypep (class-of x) (class-of bound)) |
when (<= (rational bound) |
612 |
(<= (rational bound) x (rational upper-bound))) |
(rational x) |
613 |
|
(rational upper-bound)) |
614 |
nconc |
nconc |
615 |
(let* ((y (float x one)) |
(let* ((y (float x one)) |
616 |
(z (* y (- one (* 2 epsilon))))) |
(z (* y (- one (* 2 epsilon))))) |
632 |
most-positive-double-float |
most-positive-double-float |
633 |
most-positive-long-float) |
most-positive-long-float) |
634 |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
635 |
when (if (floatp x) (subtypep (class-of x) |
when (<= (rational lower-bound) |
636 |
(class-of lower-bound)) |
(rational x) |
637 |
(<= (rational lower-bound) |
(rational upper-bound)) |
|
x (rational upper-bound))) |
|
638 |
nconc |
nconc |
639 |
(let* ((y (float x one)) |
(let* ((y (float x one)) |
640 |
(z1 (+ y epsilon)) |
(z1 (+ y epsilon)) |