Blame


1 12687dd9 2023-08-04 jrmu ;; The first three lines of this file were inserted by DrScheme. They record metadata
2 12687dd9 2023-08-04 jrmu ;; about the language level of this file in a form that our tools can easily process.
3 12687dd9 2023-08-04 jrmu #reader(lib "htdp-intermediate-reader.ss" "lang")((modname 19.1.0) (read-case-sensitive #t) (teachpacks ((lib "draw.ss" "teachpack" "htdp"))) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ((lib "draw.ss" "teachpack" "htdp")))))
4 12687dd9 2023-08-04 jrmu (define (filter1 rel-op alon t)
5 12687dd9 2023-08-04 jrmu (cond
6 12687dd9 2023-08-04 jrmu [(empty? alon) empty]
7 12687dd9 2023-08-04 jrmu [else (cond
8 12687dd9 2023-08-04 jrmu [(rel-op (first alon) t)
9 12687dd9 2023-08-04 jrmu (cons (first alon)
10 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest alon) t))]
11 12687dd9 2023-08-04 jrmu [else
12 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest alon) t)])]))
13 12687dd9 2023-08-04 jrmu
14 12687dd9 2023-08-04 jrmu (filter1 < (cons 6 (cons 4 empty)) 5)
15 12687dd9 2023-08-04 jrmu
16 12687dd9 2023-08-04 jrmu (cond
17 12687dd9 2023-08-04 jrmu [false empty]
18 12687dd9 2023-08-04 jrmu [else (cond
19 12687dd9 2023-08-04 jrmu [false
20 12687dd9 2023-08-04 jrmu (cons (first (cons 6 (cons 4 empty)))
21 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest (cons 6 (cons 4 empty))) 5))]
22 12687dd9 2023-08-04 jrmu [else
23 12687dd9 2023-08-04 jrmu (filter1 < (rest (cons 6 (cons 4 empty))) 5)])])
24 12687dd9 2023-08-04 jrmu
25 12687dd9 2023-08-04 jrmu (filter1 < (rest (cons 6 (cons 4 empty))) 5)
26 12687dd9 2023-08-04 jrmu
27 12687dd9 2023-08-04 jrmu (cond
28 12687dd9 2023-08-04 jrmu [false empty]
29 12687dd9 2023-08-04 jrmu [else (cond
30 12687dd9 2023-08-04 jrmu [true
31 12687dd9 2023-08-04 jrmu (cons (first (cons 4 empty))
32 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest (cons 4 empty)) 5))]
33 12687dd9 2023-08-04 jrmu [else
34 12687dd9 2023-08-04 jrmu (filter1 < (rest (cons 4 empty)) 5)])])
35 12687dd9 2023-08-04 jrmu
36 12687dd9 2023-08-04 jrmu (cons (first (cons 4 empty))
37 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest (cons 4 empty)) 5))
38 12687dd9 2023-08-04 jrmu
39 12687dd9 2023-08-04 jrmu (cons 4 (filter1 rel-op (rest (cons 4 empty)) 5))
40 12687dd9 2023-08-04 jrmu
41 12687dd9 2023-08-04 jrmu (cons 4 (filter1 < empty) 5)
42 12687dd9 2023-08-04 jrmu (cons 4 empty)
43 12687dd9 2023-08-04 jrmu
44 12687dd9 2023-08-04 jrmu (filter1 > (cons 8 (cons 6 (cons 4 empty))) 5)
45 12687dd9 2023-08-04 jrmu
46 12687dd9 2023-08-04 jrmu (cond
47 12687dd9 2023-08-04 jrmu [(empty? alon) empty]
48 12687dd9 2023-08-04 jrmu [else (cond
49 12687dd9 2023-08-04 jrmu [(rel-op (first alon) t)
50 12687dd9 2023-08-04 jrmu (cons (first alon)
51 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest alon) t))]
52 12687dd9 2023-08-04 jrmu [else
53 12687dd9 2023-08-04 jrmu (filter1 rel-op (rest alon) t)])])
54 12687dd9 2023-08-04 jrmu
55 12687dd9 2023-08-04 jrmu (cons 8 (filter1 > (cons 6 (cons 4 empty)) 5))
56 12687dd9 2023-08-04 jrmu (cons 8 (cons 6 (filter1 > (cons 4 empty) 5)))
57 12687dd9 2023-08-04 jrmu (cons 8 (cons 6 (filter1 > empty 5)))
58 12687dd9 2023-08-04 jrmu (cons 8 (cons 6 empty))