/[gcl]/gcl/ansi-tests/number-comparison.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/number-comparison.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.5 by pfdietz, Sat Aug 23 13:42:35 2003 UTC revision 1.6 by pfdietz, Mon Sep 1 19:13:25 2003 UTC
# Line 384  Line 384 
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)))))
# Line 409  Line 409 
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)))))
# Line 433  Line 433 
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))
# Line 585  Line 585 
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)))))
# Line 608  Line 608 
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)))))
# Line 632  Line 632 
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))

Legend:
Removed from v.1.5  
changed lines
  Added in v.1.6

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26