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 (if (floatp x) (subtypep (class-of x) (class-of bound)) |
387 |
(<= (rationalize lower-bound) |
(<= (rational lower-bound) |
388 |
x (rationalize bound))) |
x (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))))) |
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 (if (floatp x) (subtypep (class-of x) (class-of bound)) |
412 |
(<= (rationalize bound) x (rationalize upper-bound))) |
(<= (rational bound) x (rational upper-bound))) |
413 |
nconc |
nconc |
414 |
(let* ((y (float x one)) |
(let* ((y (float x one)) |
415 |
(z (* y (- one (* 2 epsilon))))) |
(z (* y (- one (* 2 epsilon))))) |
433 |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
434 |
when (if (floatp x) (subtypep (class-of x) |
when (if (floatp x) (subtypep (class-of x) |
435 |
(class-of lower-bound)) |
(class-of lower-bound)) |
436 |
(<= (rationalize lower-bound) |
(<= (rational lower-bound) |
437 |
x (rationalize 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)) |
585 |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
586 |
when (if (floatp x) (subtypep (class-of x) |
when (if (floatp x) (subtypep (class-of x) |
587 |
(class-of lower-bound)) |
(class-of lower-bound)) |
588 |
(<= (rationalize lower-bound) x (rationalize bound))) |
(<= (rational lower-bound) x (rational bound))) |
589 |
nconc |
nconc |
590 |
(let* ((y (float x one)) |
(let* ((y (float x one)) |
591 |
(z (* y (- one (* 2 epsilon))))) |
(z (* y (- one (* 2 epsilon))))) |
608 |
most-positive-long-float) |
most-positive-long-float) |
609 |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
610 |
when (if (floatp x) (subtypep (class-of x) (class-of bound)) |
when (if (floatp x) (subtypep (class-of x) (class-of bound)) |
611 |
(<= (rationalize bound) x (rationalize upper-bound))) |
(<= (rational bound) x (rational upper-bound))) |
612 |
nconc |
nconc |
613 |
(let* ((y (float x one)) |
(let* ((y (float x one)) |
614 |
(z (* y (- one (* 2 epsilon))))) |
(z (* y (- one (* 2 epsilon))))) |
632 |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
for one in '(1.0s0 1.0f0 1.0d0 1.0l0) |
633 |
when (if (floatp x) (subtypep (class-of x) |
when (if (floatp x) (subtypep (class-of x) |
634 |
(class-of lower-bound)) |
(class-of lower-bound)) |
635 |
(<= (rationalize lower-bound) |
(<= (rational lower-bound) |
636 |
x (rationalize upper-bound))) |
x (rational upper-bound))) |
637 |
nconc |
nconc |
638 |
(let* ((y (float x one)) |
(let* ((y (float x one)) |
639 |
(z1 (+ y epsilon)) |
(z1 (+ y epsilon)) |