/[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.7 by pfdietz, Fri Sep 5 02:26:20 2003 UTC revision 1.8 by pfdietz, Mon Sep 22 01:58:46 2003 UTC
# Line 383  Line 383 
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)))))
# Line 408  Line 408 
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)))))
# Line 431  Line 432 
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))
# Line 446  Line 446 
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))
# Line 583  Line 584 
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)))))
# Line 607  Line 608 
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)))))
# Line 630  Line 632 
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))

Legend:
Removed from v.1.7  
changed lines
  Added in v.1.8

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