0. #lang racket
1.  
2. ; (isBetween a b c) --> boolean
3. ;   a : number
4. ;   b : number
5. ;   c : number
6. ;   Returns true if a > b and a < c,
7. ;   false in all other cases.
8. (define isBetween
9.   (lambda (a b c)
10.     (< b a c)))
11.  
12. (display "isBetween tests\n")
13. (display "#t: ")
14. (isBetween 5 4 6)
15. (display "#f: ")
16. (isBetween 3 7 9)
17. (display "#f: ")
18. (isBetween 4 4 9)
19.  
20. ; (pythTriple a b c) --> boolean
21. ;   a : positive number
22. ;   b : positive number
23. ;   c : positive number
24. ;
25. ;   Returns true if a, b, and c could represent
26. ;   the sides of a right triangle, where c is the
27. ;   hypotenuse.
28. ;   False otherwise
29. ;   a^2 + b^2 = c^2
30. (define pythTriple
31.   (lambda (a b c)
32.     (= (* c c)
33.        (+ (* a a) (* b b)))))
34. (display "pythTriple tests\n")
35. (display "#t: ")
36. (pythTriple 3 4 5)
37. (display "#f: ")
38. (pythTriple 6 7 10)
39. (display "#t: ")
40. (pythTriple 4  3 5)
41. (display "#f: ")
42. (pythTriple 5 3 4)
43.  
44. ; (pythTripl2e a b c) --> boolean
45. ;   a : positive number
46. ;   b : positive number
47. ;   c : positive number
48. ;
49. ;   Returns true if a, b, and c could represent
50. ;   the sides of a right triangle, where any side
51. ;   could be the hypotenuse
52. ;   False otherwise
53. ;   a^2 + b^2 = c^2
54. (define pythTriple2
55.   (lambda (a b c)
56.     (or
57.      (pythTriple a b c)
58.      (pythTriple a c b)
59.      (pythTriple b c a))))
60. (display "pythTriple2 tests\n")
61. (display "#t: ")
62. (pythTriple2 3 4 5)
63. (display "#f: ")
64. (pythTriple2 6 7 10)
65. (display "#t: ")
66. (pythTriple2 4  3 5)
67. (display "#t: ")
68. (pythTriple2 5 3 4)
69. (display "#t: ")
70. (pythTriple2 4 5 3)
71.  
72. ; (exor p q) --> boolean
73. ;   p : boolean
74. ;   q : boolean7
75. ;
76. ;   Returns true if a, b, and c could represent
77. ;   the sides of a right triangle, where c is the
78. ;   hypotenuse.
79. ;   False otherwise
80. ;   a^2 + b^2 = c^2
81. (define exor
82.   (lambda (p q)
83.     (and
84.      (or p q)
85.      (not (and p q)))))
86. (display "exor tests\n")
87. (display "#f: ")
88. (exor #true #true)
89. (display "#t: ")
90. (exor #true #false)
91. (display "#t: ")
92. (exor #false #true)
93. (display "#f: ")
94. (exor #false #false)
95. (display "#t: ")
96. (exor (> 3 4) (<= 5 6))

=>

isBetween tests

#t:

#t

#f:

#f

#f:

#f

pythTriple tests

#t:

#t

#f:

#f

#t:

#t

#f:

#f

pythTriple2 tests

#t:

#t

#f:

#f

#t:

#t

#t:

#t

#t:

#t

exor tests

#f:

#f

#t:

#t

#t:

#t

#f:

#f

#t:

#t