5 import Tests.Cube as TC
6 import Tests.FunctionValues
9 import Tests.Tetrahedron as TT
11 -- The list of HUnit tests.
12 test_suite = TestList (concat [cardinal_tests,
13 function_values_tests,
26 let qc_args = stdArgs { maxSuccess = 100,
31 putStrLn "\nGrid Tests\n"
33 putStrLn "\nCube Tests\n"
35 putStr "prop_all_volumes_positive... "
36 quickCheckWith qc_args prop_all_volumes_positive
38 -- putStr "prop_tetrahedron0_volumes_exact... "
39 -- quickCheckWith qc_args prop_tetrahedron0_volumes_exact
41 -- putStr "prop_tetrahedron1_volumes_exact... "
42 -- quickCheckWith qc_args prop_tetrahedron1_volumes_exact
44 -- putStr "prop_tetrahedron2_volumes_exact... "
45 -- quickCheckWith qc_args prop_tetrahedron2_volumes_exact
47 -- putStr "prop_tetrahedron3_volumes_exact... "
48 -- quickCheckWith qc_args prop_tetrahedron3_volumes_exact
50 -- putStr "prop_tetrahedron4_volumes_exact... "
51 -- quickCheckWith qc_args prop_tetrahedron4_volumes_exact
53 -- putStr "prop_tetrahedron4_volumes_exact... "
54 -- quickCheckWith qc_args prop_tetrahedron4_volumes_exact
56 -- putStr "prop_tetrahedron5_volumes_exact... "
57 -- quickCheckWith qc_args prop_tetrahedron5_volumes_exact
59 -- putStr "prop_tetrahedron6_volumes_exact... "
60 -- quickCheckWith qc_args prop_tetrahedron6_volumes_exact
62 -- putStr "prop_tetrahedron7_volumes_exact... "
63 -- quickCheckWith qc_args prop_tetrahedron7_volumes_exact
65 putStr "prop_tetrahedron0_volumes_positive... "
66 quickCheckWith qc_args prop_tetrahedron0_volumes_positive
68 putStr "prop_tetrahedron1_volumes_positive... "
69 quickCheckWith qc_args prop_tetrahedron1_volumes_positive
71 putStr "prop_tetrahedron2_volumes_positive... "
72 quickCheckWith qc_args prop_tetrahedron2_volumes_positive
74 putStr "prop_tetrahedron3_volumes_positive... "
75 quickCheckWith qc_args prop_tetrahedron3_volumes_positive
77 putStr "prop_tetrahedron4_volumes_positive... "
78 quickCheckWith qc_args prop_tetrahedron4_volumes_positive
80 putStr "prop_tetrahedron5_volumes_positive... "
81 quickCheckWith qc_args prop_tetrahedron5_volumes_positive
83 putStr "prop_tetrahedron6_volumes_positive... "
84 quickCheckWith qc_args prop_tetrahedron6_volumes_positive
86 putStr "prop_tetrahedron7_volumes_positive... "
87 quickCheckWith qc_args prop_tetrahedron7_volumes_positive
89 putStr "prop_tetrahedron8_volumes_positive... "
90 quickCheckWith qc_args prop_tetrahedron8_volumes_positive
92 putStr "prop_tetrahedron9_volumes_positive... "
93 quickCheckWith qc_args prop_tetrahedron9_volumes_positive
95 putStr "prop_tetrahedron10_volumes_positive... "
96 quickCheckWith qc_args prop_tetrahedron10_volumes_positive
98 putStr "prop_tetrahedron11_volumes_positive... "
99 quickCheckWith qc_args prop_tetrahedron11_volumes_positive
101 putStr "prop_tetrahedron12_volumes_positive... "
102 quickCheckWith qc_args prop_tetrahedron12_volumes_positive
104 putStr "prop_tetrahedron13_volumes_positive... "
105 quickCheckWith qc_args prop_tetrahedron13_volumes_positive
107 putStr "prop_tetrahedron14_volumes_positive... "
108 quickCheckWith qc_args prop_tetrahedron14_volumes_positive
110 putStr "prop_tetrahedron15_volumes_positive... "
111 quickCheckWith qc_args prop_tetrahedron15_volumes_positive
113 putStr "prop_tetrahedron16_volumes_positive... "
114 quickCheckWith qc_args prop_tetrahedron16_volumes_positive
116 putStr "prop_tetrahedron17_volumes_positive... "
117 quickCheckWith qc_args prop_tetrahedron17_volumes_positive
119 putStr "prop_tetrahedron18_volumes_positive... "
120 quickCheckWith qc_args prop_tetrahedron18_volumes_positive
122 putStr "prop_tetrahedron19_volumes_positive... "
123 quickCheckWith qc_args prop_tetrahedron19_volumes_positive
125 putStr "prop_tetrahedron20_volumes_positive... "
126 quickCheckWith qc_args prop_tetrahedron20_volumes_positive
128 putStr "prop_tetrahedron21_volumes_positive... "
129 quickCheckWith qc_args prop_tetrahedron21_volumes_positive
131 putStr "prop_tetrahedron22_volumes_positive... "
132 quickCheckWith qc_args prop_tetrahedron22_volumes_positive
134 putStr "prop_tetrahedron23_volumes_positive... "
135 quickCheckWith qc_args prop_tetrahedron23_volumes_positive
137 putStr "prop_v0_all_equal... "
138 quickCheckWith qc_args prop_v0_all_equal
140 -- putStrLn "\np. 78, (2.5)\n"
142 -- putStr "prop_cijk1_identity... "
143 -- quickCheckWith qc_args prop_cijk1_identity
146 -- putStrLn "\np. 79, (2.6)\n"
148 putStr "prop_c0120_identity1... "
149 quickCheckWith qc_args TC.prop_c0120_identity1
151 putStr "prop_c0120_identity2... "
152 quickCheckWith qc_args TC.prop_c0120_identity2
154 putStr "prop_c0120_identity3... "
155 quickCheckWith qc_args TC.prop_c0120_identity3
157 putStr "prop_c0120_identity4... "
158 quickCheckWith qc_args TC.prop_c0120_identity4
160 putStr "prop_c0120_identity5... "
161 quickCheckWith qc_args TC.prop_c0120_identity5
163 putStr "prop_c0120_identity6... "
164 quickCheckWith qc_args TC.prop_c0120_identity6
166 putStr "prop_c0210_identity1... "
167 quickCheckWith qc_args TC.prop_c0210_identity1
169 putStr "prop_c0300_identity1... "
170 quickCheckWith qc_args TC.prop_c0300_identity1
172 putStr "prop_c1110_identity... "
173 quickCheckWith qc_args TC.prop_c1110_identity
175 putStr "prop_c1200_identity1... "
176 quickCheckWith qc_args TC.prop_c1200_identity1
178 putStr "prop_c2100_identity1... "
179 quickCheckWith qc_args TC.prop_c2100_identity1
181 putStrLn "\np. 79, (2.7)\n"
183 putStr "prop_c0102_identity1... "
184 quickCheckWith qc_args TC.prop_c0102_identity1
186 putStr "prop_c0201_identity1... "
187 quickCheckWith qc_args TC.prop_c0201_identity1
189 putStr "prop_c0300_identity2... "
190 quickCheckWith qc_args TC.prop_c0300_identity2
192 putStr "prop_c1101_identity... "
193 quickCheckWith qc_args TC.prop_c1101_identity
195 putStr "prop_c1200_identity2... "
196 quickCheckWith qc_args TC.prop_c1200_identity2
198 putStr "prop_c2100_identity2... "
199 quickCheckWith qc_args TC.prop_c2100_identity2
201 putStrLn "\np. 79, (2.8)\n"
203 putStr "prop_c3000_identity... "
204 quickCheckWith qc_args TC.prop_c3000_identity
206 -- putStr "prop_c2010_identity... "
207 -- quickCheckWith qc_args TC.prop_c2010_identity
209 -- putStr "prop_c2001_identity... "
210 -- quickCheckWith qc_args TC.prop_c2001_identity
212 -- putStr "prop_c1020_identity... "
213 -- quickCheckWith qc_args TC.prop_c1020_identity
215 -- putStr "prop_c1002_identity... "
216 -- quickCheckWith qc_args TC.prop_c1002_identity
218 -- putStr "prop_c1011_identity... "
219 -- quickCheckWith qc_args TC.prop_c1011_identity
221 -- putStrLn "\np. 80, (2.9)\n"
223 -- putStr "prop_c0120_identity2... "
224 -- quickCheckWith qc_args TF.prop_c0120_identity2
226 -- putStr "prop_c0102_identity2... "
227 -- quickCheckWith qc_args TF.prop_c0102_identity2
229 -- putStr "prop_c0111_identity... "
230 -- quickCheckWith qc_args TF.prop_c0111_identity
232 -- putStr "prop_c0210_identity2... "
233 -- quickCheckWith qc_args TF.prop_c0210_identity2
235 -- putStr "prop_c0201_identity2... "
236 -- quickCheckWith qc_args TF.prop_c0201_identity2
238 -- putStr "prop_c0300_identity3... "
239 -- quickCheckWith qc_args TF.prop_c0300_identity3
241 putStrLn "prop_c_tilde_2100_correct... "
242 quickCheckWith qc_args prop_c_tilde_2100_correct
245 putStrLn "\nEdge Incidence Tests\n"
247 putStr "prop_t0_shares_edge_with_t6... "
248 quickCheckWith qc_args prop_t0_shares_edge_with_t6
250 putStr "prop_t0_shares_edge_with_t1... "
251 quickCheckWith qc_args prop_t0_shares_edge_with_t1
253 putStr "prop_t0_shares_edge_with_t3... "
254 quickCheckWith qc_args prop_t0_shares_edge_with_t3
256 putStr "prop_t1_shares_edge_with_t2... "
257 quickCheckWith qc_args prop_t1_shares_edge_with_t2
259 putStr "prop_t1_shares_edge_with_t19... "
260 quickCheckWith qc_args prop_t1_shares_edge_with_t19
262 putStr "prop_t2_shares_edge_with_t3... "
263 quickCheckWith qc_args prop_t2_shares_edge_with_t3
265 putStr "prop_t2_shares_edge_with_t12... "
266 quickCheckWith qc_args prop_t2_shares_edge_with_t12
268 putStr "prop_t3_shares_edge_with_t21... "
269 quickCheckWith qc_args prop_t3_shares_edge_with_t21
271 putStr "prop_t4_shares_edge_with_t5... "
272 quickCheckWith qc_args prop_t4_shares_edge_with_t5
274 putStr "prop_t4_shares_edge_with_t7... "
275 quickCheckWith qc_args prop_t4_shares_edge_with_t7
277 putStr "prop_t4_shares_edge_with_t10... "
278 quickCheckWith qc_args prop_t4_shares_edge_with_t10
280 putStr "prop_t5_shares_edge_with_t6... "
281 quickCheckWith qc_args prop_t5_shares_edge_with_t6
283 putStr "prop_t5_shares_edge_with_t16... "
284 quickCheckWith qc_args prop_t5_shares_edge_with_t16
286 putStr "prop_t6_shares_edge_with_t7... "
287 quickCheckWith qc_args prop_t6_shares_edge_with_t7
289 putStr "prop_t7_shares_edge_with_t20... "
290 quickCheckWith qc_args prop_t7_shares_edge_with_t20
292 putStrLn "\nMisc Tests\n"
294 putStr "prop_factorial_greater... "
295 quickCheckWith qc_args prop_factorial_greater
297 putStrLn "\nTetrahedron Tests\n"
299 putStr "prop_b0_v0_always_unity... "
300 quickCheckWith qc_args prop_b0_v0_always_unity
302 putStr "prop_b0_v1_always_zero... "
303 quickCheckWith qc_args prop_b0_v1_always_zero
305 putStr "prop_b0_v2_always_zero... "
306 quickCheckWith qc_args prop_b0_v2_always_zero
308 putStr "prop_b0_v3_always_zero... "
309 quickCheckWith qc_args prop_b0_v3_always_zero
311 putStr "prop_b1_v1_always_unity... "
312 quickCheckWith qc_args prop_b1_v1_always_unity
314 putStr "prop_b1_v0_always_zero... "
315 quickCheckWith qc_args prop_b1_v0_always_zero
317 putStr "prop_b1_v2_always_zero... "
318 quickCheckWith qc_args prop_b1_v2_always_zero
320 putStr "prop_b1_v3_always_zero... "
321 quickCheckWith qc_args prop_b1_v3_always_zero
323 putStr "prop_b2_v2_always_unity... "
324 quickCheckWith qc_args prop_b2_v2_always_unity
326 putStr "prop_b2_v0_always_zero... "
327 quickCheckWith qc_args prop_b2_v0_always_zero
329 putStr "prop_b2_v1_always_zero... "
330 quickCheckWith qc_args prop_b2_v1_always_zero
332 putStr "prop_b2_v3_always_zero... "
333 quickCheckWith qc_args prop_b2_v3_always_zero
335 putStr "prop_b3_v3_always_unity... "
336 quickCheckWith qc_args prop_b3_v3_always_unity
338 putStr "prop_b3_v0_always_zero... "
339 quickCheckWith qc_args prop_b3_v0_always_zero
341 putStr "prop_b3_v1_always_zero... "
342 quickCheckWith qc_args prop_b3_v1_always_zero
344 putStr "prop_b3_v2_always_zero... "
345 quickCheckWith qc_args prop_b3_v2_always_zero
347 putStrLn "\np. 78, (2.4)\n"
349 putStr "prop_c3000_identity... "
350 quickCheckWith qc_args TT.prop_c3000_identity
352 putStr "prop_c2100_identity... "
353 quickCheckWith qc_args TT.prop_c2100_identity
355 putStr "prop_c1110_identity... "
356 quickCheckWith qc_args TT.prop_c1110_identity
359 putStrLn "\nCardinal Tests\n"
361 putStr "prop_ccwx_rotation_changes_direction... "
362 quickCheckWith qc_args prop_ccwx_rotation_changes_direction
364 putStr "prop_cwx_rotation_changes_direction... "
365 quickCheckWith qc_args prop_cwx_rotation_changes_direction
367 putStr "prop_ccwy_rotation_changes_direction... "
368 quickCheckWith qc_args prop_ccwy_rotation_changes_direction
370 putStr "prop_cwy_rotation_changes_direction... "
371 quickCheckWith qc_args prop_cwy_rotation_changes_direction
373 putStr "prop_ccwz_rotation_changes_direction... "
374 quickCheckWith qc_args prop_ccwz_rotation_changes_direction
376 putStr "prop_cwz_rotation_changes_direction... "
377 quickCheckWith qc_args prop_cwz_rotation_changes_direction
379 putStr "prop_ccwx_rotation_result_unique... "
380 quickCheckWith qc_args prop_ccwx_rotation_result_unique
382 putStr "prop_cwx_rotation_result_unique... "
383 quickCheckWith qc_args prop_cwx_rotation_result_unique
385 putStr "prop_ccwy_rotation_result_unique... "
386 quickCheckWith qc_args prop_ccwy_rotation_result_unique
388 putStr "prop_cwy_rotation_result_unique... "
389 quickCheckWith qc_args prop_cwy_rotation_result_unique
391 putStr "prop_ccwz_rotation_result_unique... "
392 quickCheckWith qc_args prop_ccwz_rotation_result_unique
394 putStr "prop_cwz_rotation_result_unique... "
395 quickCheckWith qc_args prop_cwz_rotation_result_unique
397 putStr "prop_four_cwx_is_identity... "
398 quickCheckWith qc_args prop_four_cwx_is_identity
400 putStr "prop_four_ccwx_is_identity... "
401 quickCheckWith qc_args prop_four_ccwx_is_identity
403 putStr "prop_four_cwy_is_identity... "
404 quickCheckWith qc_args prop_four_cwy_is_identity
406 putStr "prop_four_ccwy_is_identity... "
407 quickCheckWith qc_args prop_four_ccwy_is_identity
409 putStr "prop_four_cwz_is_identity... "
410 quickCheckWith qc_args prop_four_cwz_is_identity
412 putStr "prop_four_ccwz_is_identity... "
413 quickCheckWith qc_args prop_four_ccwz_is_identity