6 import Tests.Face as TF
8 import Tests.Tetrahedron as TT
10 -- The list of HUnit tests.
11 test_suite = TestList (concat [face_tests,
23 let qc_args = stdArgs { maxSuccess = 100,
27 putStrLn "\nCube Tests\n"
29 putStr "prop_all_volumes_positive... "
30 quickCheckWith qc_args prop_all_volumes_positive
32 putStr "prop_tetrahedron0_volumes_exact... "
33 quickCheckWith qc_args prop_tetrahedron0_volumes_exact
35 putStr "prop_tetrahedron1_volumes_exact... "
36 quickCheckWith qc_args prop_tetrahedron1_volumes_exact
38 putStr "prop_tetrahedron2_volumes_exact... "
39 quickCheckWith qc_args prop_tetrahedron2_volumes_exact
41 putStr "prop_tetrahedron3_volumes_exact... "
42 quickCheckWith qc_args prop_tetrahedron3_volumes_exact
44 putStr "prop_tetrahedron4_volumes_exact... "
45 quickCheckWith qc_args prop_tetrahedron4_volumes_exact
47 putStr "prop_tetrahedron4_volumes_exact... "
48 quickCheckWith qc_args prop_tetrahedron4_volumes_exact
50 putStr "prop_tetrahedron5_volumes_exact... "
51 quickCheckWith qc_args prop_tetrahedron5_volumes_exact
53 putStr "prop_tetrahedron6_volumes_exact... "
54 quickCheckWith qc_args prop_tetrahedron6_volumes_exact
56 putStr "prop_tetrahedron7_volumes_exact... "
57 quickCheckWith qc_args prop_tetrahedron7_volumes_exact
59 putStr "prop_tetrahedron0_volumes_positive... "
60 quickCheckWith qc_args prop_tetrahedron0_volumes_positive
62 putStr "prop_tetrahedron1_volumes_positive... "
63 quickCheckWith qc_args prop_tetrahedron1_volumes_positive
65 putStr "prop_tetrahedron2_volumes_positive... "
66 quickCheckWith qc_args prop_tetrahedron2_volumes_positive
68 putStr "prop_tetrahedron3_volumes_positive... "
69 quickCheckWith qc_args prop_tetrahedron3_volumes_positive
71 putStr "prop_tetrahedron4_volumes_positive... "
72 quickCheckWith qc_args prop_tetrahedron4_volumes_positive
74 putStr "prop_tetrahedron5_volumes_positive... "
75 quickCheckWith qc_args prop_tetrahedron5_volumes_positive
77 putStr "prop_tetrahedron6_volumes_positive... "
78 quickCheckWith qc_args prop_tetrahedron6_volumes_positive
80 putStr "prop_tetrahedron7_volumes_positive... "
81 quickCheckWith qc_args prop_tetrahedron7_volumes_positive
83 putStr "prop_tetrahedron8_volumes_positive... "
84 quickCheckWith qc_args prop_tetrahedron8_volumes_positive
86 putStr "prop_tetrahedron9_volumes_positive... "
87 quickCheckWith qc_args prop_tetrahedron9_volumes_positive
89 putStr "prop_tetrahedron10_volumes_positive... "
90 quickCheckWith qc_args prop_tetrahedron10_volumes_positive
92 putStr "prop_tetrahedron11_volumes_positive... "
93 quickCheckWith qc_args prop_tetrahedron11_volumes_positive
95 putStr "prop_tetrahedron12_volumes_positive... "
96 quickCheckWith qc_args prop_tetrahedron12_volumes_positive
98 putStr "prop_tetrahedron13_volumes_positive... "
99 quickCheckWith qc_args prop_tetrahedron13_volumes_positive
101 putStr "prop_tetrahedron14_volumes_positive... "
102 quickCheckWith qc_args prop_tetrahedron14_volumes_positive
104 putStr "prop_tetrahedron15_volumes_positive... "
105 quickCheckWith qc_args prop_tetrahedron15_volumes_positive
107 putStr "prop_v0_all_equal... "
108 quickCheckWith qc_args prop_v0_all_equal
110 putStrLn "\nMisc Tests\n"
112 putStr "prop_factorial_greater... "
113 quickCheckWith qc_args prop_factorial_greater
115 putStrLn "\nTetrahedron Tests\n"
117 putStr "prop_b0_v0_always_unity... "
118 quickCheckWith qc_args prop_b0_v0_always_unity
120 putStr "prop_b0_v1_always_zero... "
121 quickCheckWith qc_args prop_b0_v1_always_zero
123 putStr "prop_b0_v2_always_zero... "
124 quickCheckWith qc_args prop_b0_v2_always_zero
126 putStr "prop_b0_v3_always_zero... "
127 quickCheckWith qc_args prop_b0_v3_always_zero
129 putStr "prop_b1_v1_always_unity... "
130 quickCheckWith qc_args prop_b1_v1_always_unity
132 putStr "prop_b1_v0_always_zero... "
133 quickCheckWith qc_args prop_b1_v0_always_zero
135 putStr "prop_b1_v2_always_zero... "
136 quickCheckWith qc_args prop_b1_v2_always_zero
138 putStr "prop_b1_v3_always_zero... "
139 quickCheckWith qc_args prop_b1_v3_always_zero
141 putStr "prop_b2_v2_always_unity... "
142 quickCheckWith qc_args prop_b2_v2_always_unity
144 putStr "prop_b2_v0_always_zero... "
145 quickCheckWith qc_args prop_b2_v0_always_zero
147 putStr "prop_b2_v1_always_zero... "
148 quickCheckWith qc_args prop_b2_v1_always_zero
150 putStr "prop_b2_v3_always_zero... "
151 quickCheckWith qc_args prop_b2_v3_always_zero
153 putStr "prop_b3_v3_always_unity... "
154 quickCheckWith qc_args prop_b3_v3_always_unity
156 putStr "prop_b3_v0_always_zero... "
157 quickCheckWith qc_args prop_b3_v0_always_zero
159 putStr "prop_b3_v1_always_zero... "
160 quickCheckWith qc_args prop_b3_v1_always_zero
162 putStr "prop_b3_v2_always_zero... "
163 quickCheckWith qc_args prop_b3_v2_always_zero
165 -- putStrLn "\np. 78, (2.4)\n"
167 -- putStr "prop_c3000_identity... "
168 -- quickCheckWith qc_args TT.prop_c3000_identity
170 -- putStr "prop_c2100_identity... "
171 -- quickCheckWith qc_args TT.prop_c2100_identity
173 -- putStr "prop_c1110_identity... "
174 -- quickCheckWith qc_args TT.prop_c1110_identity
176 -- putStrLn "\np. 78, (2.5)\n"
178 -- putStr "prop_cijk1_identity... "
179 -- quickCheckWith qc_args prop_cijk1_identity
180 -- putStrLn "\np. 79, (2.6)\n"
182 -- putStr "prop_c0120_identity1... "
183 -- quickCheckWith qc_args TF.prop_c0120_identity1
185 -- putStr "prop_c0210_identity1... "
186 -- quickCheckWith qc_args TF.prop_c0210_identity1
188 -- putStr "prop_c0300_identity1... "
189 -- quickCheckWith qc_args TF.prop_c0300_identity1
191 -- putStr "prop_c1110_identity... "
192 -- quickCheckWith qc_args TF.prop_c1110_identity
194 -- putStr "prop_c1200_identity1... "
195 -- quickCheckWith qc_args prop_c1200_identity1
197 -- putStr "prop_c2100_identity1... "
198 -- quickCheckWith qc_args TF.prop_c2100_identity1
200 -- putStrLn "\np. 79, (2.7)\n"
202 -- putStr "prop_c0102_identity1... "
203 -- quickCheckWith qc_args TF.prop_c0102_identity1
205 -- putStr "prop_c0201_identity1... "
206 -- quickCheckWith qc_args TF.prop_c0201_identity1
208 -- putStr "prop_c0300_identity2... "
209 -- quickCheckWith qc_args TF.prop_c0300_identity2
211 -- putStr "prop_c1101_identity... "
212 -- quickCheckWith qc_args TF.prop_c1101_identity
214 -- putStr "prop_c1200_identity2... "
215 -- quickCheckWith qc_args TF.prop_c1200_identity2
217 -- putStr "prop_c2100_identity2... "
218 -- quickCheckWith qc_args TF.prop_c2100_identity2
220 -- putStrLn "\np. 79, (2.8)\n"
222 -- putStr "prop_c3000_identity... "
223 -- quickCheckWith qc_args TF.prop_c3000_identity
225 -- putStr "prop_c2010_identity... "
226 -- quickCheckWith qc_args TF.prop_c2010_identity
228 -- putStr "prop_c2001_identity... "
229 -- quickCheckWith qc_args TF.prop_c2001_identity
231 -- putStr "prop_c1020_identity... "
232 -- quickCheckWith qc_args TF.prop_c1020_identity
234 -- putStr "prop_c1002_identity... "
235 -- quickCheckWith qc_args TF.prop_c1002_identity
237 -- putStr "prop_c1011_identity... "
238 -- quickCheckWith qc_args TF.prop_c1011_identity
240 -- putStrLn "\np. 80, (2.9)\n"
242 -- putStr "prop_c0120_identity2... "
243 -- quickCheckWith qc_args TF.prop_c0120_identity2
245 -- putStr "prop_c0102_identity2... "
246 -- quickCheckWith qc_args TF.prop_c0102_identity2
248 -- putStr "prop_c0111_identity... "
249 -- quickCheckWith qc_args TF.prop_c0111_identity
251 -- putStr "prop_c0210_identity2... "
252 -- quickCheckWith qc_args TF.prop_c0210_identity2
254 -- putStr "prop_c0201_identity2... "
255 -- quickCheckWith qc_args TF.prop_c0201_identity2
257 -- putStr "prop_c0300_identity3... "
258 -- quickCheckWith qc_args TF.prop_c0300_identity3
260 putStrLn "\nCardinal Tests\n"
262 putStr "prop_ccwx_rotation_changes_direction... "
263 quickCheckWith qc_args prop_ccwx_rotation_changes_direction
265 putStr "prop_cwx_rotation_changes_direction... "
266 quickCheckWith qc_args prop_cwx_rotation_changes_direction
268 putStr "prop_four_cwx_is_identity... "
269 quickCheckWith qc_args prop_four_cwx_is_identity
271 putStr "prop_four_ccwx_is_identity... "
272 quickCheckWith qc_args prop_four_ccwx_is_identity
274 putStr "prop_four_cwy_is_identity... "
275 quickCheckWith qc_args prop_four_cwy_is_identity
277 putStr "prop_four_ccwy_is_identity... "
278 quickCheckWith qc_args prop_four_ccwy_is_identity
280 putStr "prop_four_cwz_is_identity... "
281 quickCheckWith qc_args prop_four_cwz_is_identity
283 putStr "prop_four_ccwz_is_identity... "
284 quickCheckWith qc_args prop_four_ccwz_is_identity