1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
|
;; -*-theme-d-*-
;; Copyright (C) 2014-2018 Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.
;; Expected results: translation and running OK
(define-proper-program (tests test234)
(import (standard-library core)
(standard-library rational)
(standard-library real-math)
(standard-library complex)
(standard-library console-io)
(tests numerical-test-env))
(define-main-proc (() <none> nonpure)
(report-boolean-test (equal? 2 2) #t)
(report-boolean-test (equal? 2 -5) #f)
(report-boolean-test (equal? 2 (rational 2 1)) #f)
(report-boolean-test (equal? 2 (rational -1 2)) #f)
(report-boolean-test (equal? 2 2.0) #f)
(report-boolean-test (equal? 2 -1.1) #f)
(report-boolean-test (equal? 2 (complex 2.0 0.0)) #f)
(report-boolean-test (equal? 2 (complex 2.0 1.0)) #f)
(report-boolean-test (equal? (rational 2 2) 1) #f)
(report-boolean-test (equal? (rational 2 3) 2) #f)
(report-boolean-test (equal? (rational 2 2) (rational 3 3)) #t)
(report-boolean-test (equal? (rational 2 3) (rational 4 5)) #f)
(report-boolean-test (equal? (rational 4 5) 0.8) #f)
(report-boolean-test (equal? (rational 2 3) 0.5) #f)
(report-boolean-test (equal? (rational 4 5) (complex 0.8 0.0)) #f)
(report-boolean-test (equal? (rational 4 5) (complex 0.5 0.0)) #f)
(report-boolean-test (equal? 2.0 2) #f)
(report-boolean-test (equal? 4.5 -5) #f)
(report-boolean-test (equal? 4.5 (rational 9 2)) #f)
(report-boolean-test (equal? 4.5 (rational -9 2)) #f)
(report-boolean-test (equal? 4.5 4.5) #t)
(report-boolean-test (equal? 4.5 -1.1) #f)
(report-boolean-test (equal? 4.5 (complex 4.5 0.0)) #f)
(report-boolean-test (equal? 4.5 (complex 0.3 1.0)) #f)
(report-boolean-test (equal? (complex 1.0 0.0) 1) #f)
(report-boolean-test (equal? (complex -1.0 2.0) -1) #f)
(report-boolean-test (equal? (complex 0.2 0.0) (rational 1 5)) #f)
(report-boolean-test (equal? (complex 0.2 1.0) (rational 2 5)) #f)
(report-boolean-test (equal? (complex 0.2 0.0) 0.2) #f)
(report-boolean-test (equal? (complex 0.2 0.0) 0.3) #f)
(report-boolean-test (equal? (complex 5.0 4.0) (complex 5.0 4.0)) #t)
(report-boolean-test (equal? (complex 5.0 4.0) (complex -5.0 4.0)) #f)
(console-newline)
(report-boolean-test (= 2 2) #t)
(report-boolean-test (= 2 -5) #f)
(report-boolean-test (= 2 (rational 2 1)) #t)
(report-boolean-test (= 2 (rational -1 2)) #f)
(report-boolean-test (= 2 2.0) #t)
(report-boolean-test (= 2 -1.1) #f)
(report-boolean-test (= 2 (complex 2.0 0.0)) #t)
(report-boolean-test (= 2 (complex 2.0 1.0)) #f)
(report-boolean-test (= (rational 2 2) 1) #t)
(report-boolean-test (= (rational 2 3) 2) #f)
(report-boolean-test (= (rational 2 2) (rational 3 3)) #t)
(report-boolean-test (= (rational 2 3) (rational 4 5)) #f)
(report-boolean-test (= (rational 4 5) 0.8) #t)
(report-boolean-test (= (rational 2 3) 0.5) #f)
(report-boolean-test (= (rational 4 5) (complex 0.8 0.0)) #t)
(report-boolean-test (= (rational 4 5) (complex 0.5 0.0)) #f)
(report-boolean-test (= 2.0 2) #t)
(report-boolean-test (= 4.5 -5) #f)
(report-boolean-test (= 4.5 (rational 9 2)) #t)
(report-boolean-test (= 4.5 (rational -9 2)) #f)
(report-boolean-test (= 4.5 4.5) #t)
(report-boolean-test (= 4.5 -1.1) #f)
(report-boolean-test (= 4.5 (complex 4.5 0.0)) #t)
(report-boolean-test (= 4.5 (complex 0.3 1.0)) #f)
(report-boolean-test (= (complex 1.0 0.0) 1) #t)
(report-boolean-test (= (complex -1.0 2.0) -1) #f)
(report-boolean-test (= (complex 0.2 0.0) (rational 1 5)) #t)
(report-boolean-test (= (complex 0.2 1.0) (rational 2 5)) #f)
(report-boolean-test (= (complex 0.2 0.0) 0.2) #t)
(report-boolean-test (= (complex 0.2 0.0) 0.3) #f)
(report-boolean-test (= (complex 5.0 4.0) (complex 5.0 4.0)) #t)
(report-boolean-test (= (complex 5.0 4.0) (complex -5.0 4.0)) #f)
(console-newline)
(report-boolean-test (< 2 3) #t)
(report-boolean-test (< 2 1) #f)
(report-boolean-test (< 2 (rational 10 2)) #t)
(report-boolean-test (< 2 (rational -1 2)) #f)
(report-boolean-test (< 2 4.5) #t)
(report-boolean-test (< 2 1.1) #f)
(report-boolean-test (< (rational 4 5) 1) #t)
(report-boolean-test (< (rational 4 5) -1) #f)
(report-boolean-test (< (rational 4 5) (rational 10 2)) #t)
(report-boolean-test (< (rational 4 5) (rational -1 2)) #f)
(report-boolean-test (< (rational 4 5) 1.5) #t)
(report-boolean-test (< (rational 4 5) 0.5) #f)
(report-boolean-test (< 2.2 3) #t)
(report-boolean-test (< 2.2 1.1) #f)
(report-boolean-test (< 2.2 (rational 11 2)) #t)
(report-boolean-test (< 2.2 (rational 2 3)) #f)
(report-boolean-test (< 2.2 3.5) #t)
(report-boolean-test (< 2.2 1.5) #f)
(console-newline)
(report-boolean-test (<= 2 3) #t)
(report-boolean-test (<= 2 1) #f)
(report-boolean-test (<= 2 (rational 10 2)) #t)
(report-boolean-test (<= 2 (rational -1 2)) #f)
(report-boolean-test (<= 2 4.5) #t)
(report-boolean-test (<= 2 1.1) #f)
(report-boolean-test (<= (rational 4 5) 1) #t)
(report-boolean-test (<= (rational 4 5) -1) #f)
(report-boolean-test (<= (rational 4 5) (rational 10 2)) #t)
(report-boolean-test (<= (rational 4 5) (rational -1 2)) #f)
(report-boolean-test (<= (rational 4 5) 1.5) #t)
(report-boolean-test (<= (rational 4 5) 0.5) #f)
(report-boolean-test (<= 2.2 3) #t)
(report-boolean-test (<= 2.2 1.1) #f)
(report-boolean-test (<= 2.2 (rational 11 2)) #t)
(report-boolean-test (<= 2.2 (rational 2 3)) #f)
(report-boolean-test (<= 2.2 3.5) #t)
(report-boolean-test (<= 2.2 1.5) #f)
(console-newline)
(report-boolean-test (> 2 3) #f)
(report-boolean-test (> 2 1) #t)
(report-boolean-test (> 2 (rational 10 2)) #f)
(report-boolean-test (> 2 (rational -1 2)) #t)
(report-boolean-test (> 2 4.5) #f)
(report-boolean-test (> 2 1.1) #t)
(report-boolean-test (> (rational 4 5) 1) #f)
(report-boolean-test (> (rational 4 5) -1) #t)
(report-boolean-test (> (rational 4 5) (rational 10 2)) #f)
(report-boolean-test (> (rational 4 5) (rational -1 2)) #t)
(report-boolean-test (> (rational 4 5) 1.5) #f)
(report-boolean-test (> (rational 4 5) 0.5) #t)
(report-boolean-test (> 2.2 3) #f)
(report-boolean-test (> 2.2 1.1) #t)
(report-boolean-test (> 2.2 (rational 11 2)) #f)
(report-boolean-test (> 2.2 (rational 2 3)) #t)
(report-boolean-test (> 2.2 3.5) #f)
(report-boolean-test (> 2.2 1.5) #t)
(console-newline)
(report-boolean-test (>= 2 3) #f)
(report-boolean-test (>= 2 1) #t)
(report-boolean-test (>= 2 (rational 10 2)) #f)
(report-boolean-test (>= 2 (rational -1 2)) #t)
(report-boolean-test (>= 2 4.5) #f)
(report-boolean-test (>= 2 1.1) #t)
(report-boolean-test (>= (rational 4 5) 1) #f)
(report-boolean-test (>= (rational 4 5) -1) #t)
(report-boolean-test (>= (rational 4 5) (rational 10 2)) #f)
(report-boolean-test (>= (rational 4 5) (rational -1 2)) #t)
(report-boolean-test (>= (rational 4 5) 1.5) #f)
(report-boolean-test (>= (rational 4 5) 0.5) #t)
(report-boolean-test (>= 2.2 3) #f)
(report-boolean-test (>= 2.2 1.1) #t)
(report-boolean-test (>= 2.2 (rational 11 2)) #f)
(report-boolean-test (>= 2.2 (rational 2 3)) #t)
(report-boolean-test (>= 2.2 3.5) #f)
(report-boolean-test (>= 2.2 1.5) #t)
(console-newline)))
|
