/[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.2 by pfdietz, Sun Aug 3 21:05:22 2003 UTC revision 1.3 by pfdietz, Mon Aug 4 12:28:37 2003 UTC
# Line 157  Line 157 
157            collect (list a b c d)))            collect (list a b c d)))
158    nil)    nil)
159    
160    (deftest =.order.1
161      (let ((i 0) x y)
162        (values
163         (= (progn (setf x (incf i)) 1)
164            (progn (setf y (incf i)) 2))
165         i x y))
166      nil 2 1 2)
167    
168    (deftest =.order.2
169      (let ((i 0) x y z)
170        (values
171         (= (progn (setf x (incf i)) 1)
172            (progn (setf y (incf i)) 2)
173            (progn (setf z (incf i)) 3))
174         i x y z))
175      nil 3 1 2 3)
176    
177    (deftest =.order.3
178      (let ((i 0) u v w x y z)
179        (values
180         (=
181          (progn (setf u (incf i)) 1)
182          (progn (setf v (incf i)) 2)
183          (progn (setf w (incf i)) 3)
184          (progn (setf x (incf i)) 4)
185          (progn (setf y (incf i)) 5)
186          (progn (setf z (incf i)) 6))
187         i u v w x y z))
188      nil 6 1 2 3 4 5 6)
189    
190  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
191    
192  (deftest /=.1  (deftest /=.1
# Line 270  Line 300 
300                  collect (list x y))))                  collect (list x y))))
301    nil)    nil)
302    
303    (deftest /=.order.1
304      (let ((i 0) x y)
305        (values
306         (notnot (/= (progn (setf x (incf i)) 1)
307                     (progn (setf y (incf i)) 2)))
308         i x y))
309      t 2 1 2)
310    
311    (deftest /=.order.2
312      (let ((i 0) x y z)
313        (values
314         (notnot (/= (progn (setf x (incf i)) 1)
315                     (progn (setf y (incf i)) 2)
316                     (progn (setf z (incf i)) 3)))
317         i x y z))
318      t 3 1 2 3)
319    
320    (deftest /=.order.3
321      (let ((i 0) u v w x y z)
322        (values
323         (notnot
324          (/=
325           (progn (setf u (incf i)) 1)
326           (progn (setf v (incf i)) 2)
327           (progn (setf w (incf i)) 3)
328           (progn (setf x (incf i)) 4)
329           (progn (setf y (incf i)) 5)
330           (progn (setf z (incf i)) 6)))
331         i u v w x y z))
332      t 6 1 2 3 4 5 6)
333    
334  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
335    
336  (deftest <.1  (deftest <.1
# Line 409  Line 470 
470    (<.10-fn)    (<.10-fn)
471    nil)    nil)
472    
473    (deftest <.order.1
474      (let ((i 0) x y)
475        (values
476         (notnot (< (progn (setf x (incf i)) 1)
477                     (progn (setf y (incf i)) 2)))
478         i x y))
479      t 2 1 2)
480    
481    (deftest <.order.2
482      (let ((i 0) x y z)
483        (values
484         (notnot (< (progn (setf x (incf i)) 1)
485                     (progn (setf y (incf i)) 2)
486                     (progn (setf z (incf i)) 3)))
487         i x y z))
488      t 3 1 2 3)
489    
490    (deftest <.order.3
491      (let ((i 0) u v w x y z)
492        (values
493         (notnot
494          (<
495           (progn (setf u (incf i)) 1)
496           (progn (setf v (incf i)) 2)
497           (progn (setf w (incf i)) 3)
498           (progn (setf x (incf i)) 4)
499           (progn (setf y (incf i)) 5)
500           (progn (setf z (incf i)) 6)))
501         i u v w x y z))
502      t 6 1 2 3 4 5 6)
503    
504  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
505    
506  (deftest <=.1  (deftest <=.1
# Line 545  Line 637 
637    (<=.9-fn)    (<=.9-fn)
638    nil)    nil)
639    
640    (deftest <=.order.1
641      (let ((i 0) x y)
642        (values
643         (notnot (<= (progn (setf x (incf i)) 1)
644                     (progn (setf y (incf i)) 2)))
645         i x y))
646      t 2 1 2)
647    
648    (deftest <=.order.2
649      (let ((i 0) x y z)
650        (values
651         (notnot (<= (progn (setf x (incf i)) 1)
652                     (progn (setf y (incf i)) 2)
653                     (progn (setf z (incf i)) 3)))
654         i x y z))
655      t 3 1 2 3)
656    
657    (deftest <=.order.3
658      (let ((i 0) u v w x y z)
659        (values
660         (notnot
661          (<=
662           (progn (setf u (incf i)) 1)
663           (progn (setf v (incf i)) 2)
664           (progn (setf w (incf i)) 3)
665           (progn (setf x (incf i)) 4)
666           (progn (setf y (incf i)) 5)
667           (progn (setf z (incf i)) 6)))
668         i u v w x y z))
669      t 6 1 2 3 4 5 6)
670    
671    
672  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
673    
674  (deftest >.1  (deftest >.1
# Line 597  Line 721 
721    (>.8-fn)    (>.8-fn)
722    nil)    nil)
723    
724    (deftest >.order.1
725      (let ((i 0) x y)
726        (values
727         (notnot (> (progn (setf x (incf i)) 2)
728                    (progn (setf y (incf i)) 1)))
729         i x y))
730      t 2 1 2)
731    
732    (deftest >.order.2
733      (let ((i 0) x y z)
734        (values
735         (notnot (> (progn (setf x (incf i)) 3)
736                     (progn (setf y (incf i)) 2)
737                     (progn (setf z (incf i)) 1)))
738         i x y z))
739      t 3 1 2 3)
740    
741    (deftest >.order.3
742      (let ((i 0) u v w x y z)
743        (values
744         (notnot
745          (>
746           (progn (setf u (incf i)) 6)
747           (progn (setf v (incf i)) 5)
748           (progn (setf w (incf i)) 4)
749           (progn (setf x (incf i)) 3)
750           (progn (setf y (incf i)) 2)
751           (progn (setf z (incf i)) 1)))
752         i u v w x y z))
753      t 6 1 2 3 4 5 6)
754    
755  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
756    
757  (deftest >=.1  (deftest >=.1
# Line 652  Line 807 
807    (>=.8-fn)    (>=.8-fn)
808    nil)    nil)
809    
810    (deftest >=.order.1
811      (let ((i 0) x y)
812        (values
813         (notnot (>= (progn (setf x (incf i)) 2)
814                    (progn (setf y (incf i)) 1)))
815         i x y))
816      t 2 1 2)
817    
818    (deftest >=.order.2
819      (let ((i 0) x y z)
820        (values
821         (notnot (>= (progn (setf x (incf i)) 3)
822                     (progn (setf y (incf i)) 2)
823                     (progn (setf z (incf i)) 1)))
824         i x y z))
825      t 3 1 2 3)
826    
827    (deftest >=.order.3
828      (let ((i 0) u v w x y z)
829        (values
830         (notnot
831          (>=
832           (progn (setf u (incf i)) 6)
833           (progn (setf v (incf i)) 5)
834           (progn (setf w (incf i)) 4)
835           (progn (setf x (incf i)) 3)
836           (progn (setf y (incf i)) 2)
837           (progn (setf z (incf i)) 1)))
838         i u v w x y z))
839      t 6 1 2 3 4 5 6)
840    
841  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
842    
843  ;;; Comparison of rationals  ;;; Comparison of rationals

Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3

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