29 |
collect (list x y)))) |
collect (list x y)))) |
30 |
|
|
31 |
(defun <.8-fn () |
(defun <.8-fn () |
32 |
(loop for x in *numbers* |
(loop for x in *reals* |
|
when (realp x) |
|
33 |
nconc |
nconc |
34 |
(loop for y in *numbers* |
(loop for y in *reals* |
35 |
when (and (realp y) (and (< x y) (> x y))) |
when (and (< x y) (> x y)) |
36 |
collect (list x y)))) |
collect (list x y)))) |
37 |
|
|
38 |
(defun <.9-fn () |
(defun <.9-fn () |
39 |
(loop for x in *numbers* |
(loop for x in *reals* |
|
when (realp x) |
|
40 |
nconc |
nconc |
41 |
(loop for y in *numbers* |
(loop for y in *reals* |
42 |
when (and (realp y) (if (< x y) |
when (if (< x y) (not (> y x)) |
43 |
(not (> y x)) |
(> y x)) |
|
(> y x))) |
|
44 |
collect (list x y)))) |
collect (list x y)))) |
45 |
|
|
46 |
(defun <.10-fn () |
(defun <.10-fn () |
47 |
(loop for x in *numbers* |
(loop for x in *reals* |
|
when (realp x) |
|
48 |
nconc |
nconc |
49 |
(loop for y in *numbers* |
(loop for y in *reals* |
50 |
when (and (realp y) (if (< x y) |
when (if (< x y) (>= x y) |
51 |
(>= x y) |
(not (>= x y))) |
|
(not (>= x y)))) |
|
52 |
collect (list x y)))) |
collect (list x y)))) |
53 |
|
|
54 |
(defun <=.8-fn () |
(defun <=.8-fn () |
55 |
(loop for x in *numbers* |
(loop for x in *reals* |
|
when (realp x) |
|
56 |
nconc |
nconc |
57 |
(loop for y in *numbers* |
(loop for y in *reals* |
58 |
when (and (realp y) (if (<= x y) (not (>= y x)) |
when (if (<= x y) (not (>= y x)) |
59 |
(>= y x))) |
(>= y x)) |
60 |
collect (list x y)))) |
collect (list x y)))) |
61 |
|
|
62 |
(defun <=.9-fn () |
(defun <=.9-fn () |
63 |
(loop for x in *numbers* |
(loop for x in *reals* |
|
when (realp x) |
|
64 |
nconc |
nconc |
65 |
(loop for y in *numbers* |
(loop for y in *reals* |
66 |
when (and (realp y) |
when (if (<= x y) (not (or (= x y) (< x y))) |
67 |
(if (<= x y) (not (or (= x y) (< x y))) |
(or (= x y) (< x y))) |
|
(or (= x y) (< x y)))) |
|
68 |
collect (list x y)))) |
collect (list x y)))) |
69 |
|
|
70 |
(defun >.8-fn () |
(defun >.8-fn () |
71 |
(loop for x in *numbers* |
(loop for x in *reals* |
|
when (realp x) |
|
72 |
nconc |
nconc |
73 |
(loop for y in *numbers* |
(loop for y in *reals* |
74 |
when (and (realp y) (if (> x y) |
when (if (> x y) (<= x y) |
75 |
(<= x y) |
(not (<= x y))) |
|
(not (<= x y)))) |
|
76 |
collect (list x y)))) |
collect (list x y)))) |
77 |
|
|
78 |
(defun >=.8-fn () |
(defun >=.8-fn () |
79 |
(loop for x in *numbers* |
(loop for x in *reals* |
|
when (realp x) |
|
80 |
nconc |
nconc |
81 |
(loop for y in *numbers* |
(loop for y in *reals* |
82 |
when (and (realp y) |
when (if (>= x y) (not (or (= x y) (> x y))) |
83 |
(if (>= x y) (not (or (= x y) (> x y))) |
(or (= x y) (> x y))) |
|
(or (= x y) (> x y)))) |
|
84 |
collect (list x y)))) |
collect (list x y)))) |
85 |
|
|
86 |
;;; Comparison of rationsls |
;;; Comparison of rationsls |
109 |
(if (/= q1 q2) (not (/= ad bc)) (/= ad bc))))) |
(if (/= q1 q2) (not (/= ad bc)) (/= ad bc))))) |
110 |
collect (list a b c d))) |
collect (list a b c d))) |
111 |
|
|
112 |
|
(defun max.2-fn () |
113 |
|
(loop for x in *reals* |
114 |
|
nconc |
115 |
|
(loop for y in *reals* |
116 |
|
for m = (max x y) |
117 |
|
unless (and (>= m x) (>= m y) |
118 |
|
(or (= m x) (= m y))) |
119 |
|
collect (list x y m)))) |