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 |
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 |
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 |
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 |
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 |
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 |