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 putStr "prop_all_volumes_positive... "
28 quickCheckWith qc_args prop_all_volumes_positive
30 putStr "prop_tetrahedron0_volumes_exact... "
31 quickCheckWith qc_args prop_tetrahedron0_volumes_exact
33 putStr "prop_tetrahedron1_volumes_exact... "
34 quickCheckWith qc_args prop_tetrahedron1_volumes_exact
36 putStr "prop_tetrahedron2_volumes_exact... "
37 quickCheckWith qc_args prop_tetrahedron2_volumes_exact
39 putStr "prop_tetrahedron3_volumes_exact... "
40 quickCheckWith qc_args prop_tetrahedron3_volumes_exact
42 putStr "prop_tetrahedron4_volumes_exact... "
43 quickCheckWith qc_args prop_tetrahedron4_volumes_exact
45 putStr "prop_tetrahedron4_volumes_exact... "
46 quickCheckWith qc_args prop_tetrahedron4_volumes_exact
48 putStr "prop_tetrahedron5_volumes_exact... "
49 quickCheckWith qc_args prop_tetrahedron5_volumes_exact
51 putStr "prop_tetrahedron6_volumes_exact... "
52 quickCheckWith qc_args prop_tetrahedron6_volumes_exact
54 putStr "prop_tetrahedron7_volumes_exact... "
55 quickCheckWith qc_args prop_tetrahedron7_volumes_exact
57 putStr "prop_tetrahedron0_volumes_positive... "
58 quickCheckWith qc_args prop_tetrahedron0_volumes_positive
60 putStr "prop_tetrahedron1_volumes_positive... "
61 quickCheckWith qc_args prop_tetrahedron1_volumes_positive
63 putStr "prop_tetrahedron2_volumes_positive... "
64 quickCheckWith qc_args prop_tetrahedron2_volumes_positive
66 putStr "prop_tetrahedron3_volumes_positive... "
67 quickCheckWith qc_args prop_tetrahedron3_volumes_positive
69 putStr "prop_tetrahedron4_volumes_positive... "
70 quickCheckWith qc_args prop_tetrahedron4_volumes_positive
72 putStr "prop_tetrahedron5_volumes_positive... "
73 quickCheckWith qc_args prop_tetrahedron5_volumes_positive
75 putStr "prop_tetrahedron6_volumes_positive... "
76 quickCheckWith qc_args prop_tetrahedron6_volumes_positive
78 putStr "prop_tetrahedron7_volumes_positive... "
79 quickCheckWith qc_args prop_tetrahedron7_volumes_positive
81 putStr "prop_v0_all_equal... "
82 quickCheckWith qc_args prop_v0_all_equal
84 putStr "prop_factorial_greater... "
85 quickCheckWith qc_args prop_factorial_greater
87 putStr "prop_b0_v0_always_unity... "
88 quickCheckWith qc_args prop_b0_v0_always_unity
90 putStr "prop_b0_v1_always_zero... "
91 quickCheckWith qc_args prop_b0_v1_always_zero
93 putStr "prop_b0_v2_always_zero... "
94 quickCheckWith qc_args prop_b0_v2_always_zero
96 putStr "prop_b0_v3_always_zero... "
97 quickCheckWith qc_args prop_b0_v3_always_zero
99 putStr "prop_b1_v1_always_unity... "
100 quickCheckWith qc_args prop_b1_v1_always_unity
102 putStr "prop_b1_v0_always_zero... "
103 quickCheckWith qc_args prop_b1_v0_always_zero
105 putStr "prop_b1_v2_always_zero... "
106 quickCheckWith qc_args prop_b1_v2_always_zero
108 putStr "prop_b1_v3_always_zero... "
109 quickCheckWith qc_args prop_b1_v3_always_zero
111 putStr "prop_b2_v2_always_unity... "
112 quickCheckWith qc_args prop_b2_v2_always_unity
114 putStr "prop_b2_v0_always_zero... "
115 quickCheckWith qc_args prop_b2_v0_always_zero
117 putStr "prop_b2_v1_always_zero... "
118 quickCheckWith qc_args prop_b2_v1_always_zero
120 putStr "prop_b2_v3_always_zero... "
121 quickCheckWith qc_args prop_b2_v3_always_zero
123 putStr "prop_b3_v3_always_unity... "
124 quickCheckWith qc_args prop_b3_v3_always_unity
126 putStr "prop_b3_v0_always_zero... "
127 quickCheckWith qc_args prop_b3_v0_always_zero
129 putStr "prop_b3_v1_always_zero... "
130 quickCheckWith qc_args prop_b3_v1_always_zero
132 putStr "prop_b3_v2_always_zero... "
133 quickCheckWith qc_args prop_b3_v2_always_zero
135 -- putStrLn "\np. 78, (2.4)\n"
137 -- putStr "prop_c3000_identity... "
138 -- quickCheckWith qc_args TT.prop_c3000_identity
140 -- putStr "prop_c2100_identity... "
141 -- quickCheckWith qc_args TT.prop_c2100_identity
143 -- putStr "prop_c1110_identity... "
144 -- quickCheckWith qc_args TT.prop_c1110_identity
146 -- putStrLn "\np. 78, (2.5)\n"
148 -- putStr "prop_cijk1_identity... "
149 -- quickCheckWith qc_args prop_cijk1_identity
150 -- putStrLn "\np. 79, (2.6)\n"
152 -- putStr "prop_c0120_identity1... "
153 -- quickCheckWith qc_args TF.prop_c0120_identity1
155 -- putStr "prop_c0210_identity1... "
156 -- quickCheckWith qc_args TF.prop_c0210_identity1
158 -- putStr "prop_c0300_identity1... "
159 -- quickCheckWith qc_args TF.prop_c0300_identity1
161 -- putStr "prop_c1110_identity... "
162 -- quickCheckWith qc_args TF.prop_c1110_identity
164 -- putStr "prop_c1200_identity1... "
165 -- quickCheckWith qc_args prop_c1200_identity1
167 -- putStr "prop_c2100_identity1... "
168 -- quickCheckWith qc_args TF.prop_c2100_identity1
170 -- putStrLn "\np. 79, (2.7)\n"
172 -- putStr "prop_c0102_identity1... "
173 -- quickCheckWith qc_args TF.prop_c0102_identity1
175 -- putStr "prop_c0201_identity1... "
176 -- quickCheckWith qc_args TF.prop_c0201_identity1
178 -- putStr "prop_c0300_identity2... "
179 -- quickCheckWith qc_args TF.prop_c0300_identity2
181 -- putStr "prop_c1101_identity... "
182 -- quickCheckWith qc_args TF.prop_c1101_identity
184 -- putStr "prop_c1200_identity2... "
185 -- quickCheckWith qc_args TF.prop_c1200_identity2
187 -- putStr "prop_c2100_identity2... "
188 -- quickCheckWith qc_args TF.prop_c2100_identity2
190 -- putStrLn "\np. 79, (2.8)\n"
192 -- putStr "prop_c3000_identity... "
193 -- quickCheckWith qc_args TF.prop_c3000_identity
195 -- putStr "prop_c2010_identity... "
196 -- quickCheckWith qc_args TF.prop_c2010_identity
198 -- putStr "prop_c2001_identity... "
199 -- quickCheckWith qc_args TF.prop_c2001_identity
201 -- putStr "prop_c1020_identity... "
202 -- quickCheckWith qc_args TF.prop_c1020_identity
204 -- putStr "prop_c1002_identity... "
205 -- quickCheckWith qc_args TF.prop_c1002_identity
207 -- putStr "prop_c1011_identity... "
208 -- quickCheckWith qc_args TF.prop_c1011_identity
210 -- putStrLn "\np. 80, (2.9)\n"
212 -- putStr "prop_c0120_identity2... "
213 -- quickCheckWith qc_args TF.prop_c0120_identity2
215 -- putStr "prop_c0102_identity2... "
216 -- quickCheckWith qc_args TF.prop_c0102_identity2
218 -- putStr "prop_c0111_identity... "
219 -- quickCheckWith qc_args TF.prop_c0111_identity
221 -- putStr "prop_c0210_identity2... "
222 -- quickCheckWith qc_args TF.prop_c0210_identity2
224 -- putStr "prop_c0201_identity2... "
225 -- quickCheckWith qc_args TF.prop_c0201_identity2
227 -- putStr "prop_c0300_identity3... "
228 -- quickCheckWith qc_args TF.prop_c0300_identity3
230 putStr "prop_ccwx_rotation_changes_direction... "
231 quickCheckWith qc_args prop_ccwx_rotation_changes_direction
233 putStr "prop_cwx_rotation_changes_direction... "
234 quickCheckWith qc_args prop_cwx_rotation_changes_direction