4 import Tests.Face as TF
6 import Tests.Tetrahedron as TT
8 -- The list of HUnit tests.
9 test_suite = TestList (concat [misc_tests,
20 let qc_args = stdArgs { maxSuccess = 100,
24 putStr "prop_all_volumes_positive... "
25 quickCheckWith qc_args prop_all_volumes_positive
27 putStr "prop_factorial_greater... "
28 quickCheckWith qc_args prop_factorial_greater
30 putStr "prop_b0_v0_always_unity... "
31 quickCheckWith qc_args prop_b0_v0_always_unity
33 putStr "prop_b0_v1_always_zero... "
34 quickCheckWith qc_args prop_b0_v1_always_zero
36 putStr "prop_b0_v2_always_zero... "
37 quickCheckWith qc_args prop_b0_v2_always_zero
39 putStr "prop_b0_v3_always_zero... "
40 quickCheckWith qc_args prop_b0_v3_always_zero
42 putStr "prop_b1_v1_always_unity... "
43 quickCheckWith qc_args prop_b1_v1_always_unity
45 putStr "prop_b1_v0_always_zero... "
46 quickCheckWith qc_args prop_b1_v0_always_zero
48 putStr "prop_b1_v2_always_zero... "
49 quickCheckWith qc_args prop_b1_v2_always_zero
51 putStr "prop_b1_v3_always_zero... "
52 quickCheckWith qc_args prop_b1_v3_always_zero
54 putStr "prop_b2_v2_always_unity... "
55 quickCheckWith qc_args prop_b2_v2_always_unity
57 putStr "prop_b2_v0_always_zero... "
58 quickCheckWith qc_args prop_b2_v0_always_zero
60 putStr "prop_b2_v1_always_zero... "
61 quickCheckWith qc_args prop_b2_v1_always_zero
63 putStr "prop_b2_v3_always_zero... "
64 quickCheckWith qc_args prop_b2_v3_always_zero
66 putStr "prop_b3_v3_always_unity... "
67 quickCheckWith qc_args prop_b3_v3_always_unity
69 putStr "prop_b3_v0_always_zero... "
70 quickCheckWith qc_args prop_b3_v0_always_zero
72 putStr "prop_b3_v1_always_zero... "
73 quickCheckWith qc_args prop_b3_v1_always_zero
75 putStr "prop_b3_v2_always_zero... "
76 quickCheckWith qc_args prop_b3_v2_always_zero
78 putStrLn "\np. 78, (2.4)\n"
80 putStr "prop_c3000_identity... "
81 quickCheckWith qc_args TT.prop_c3000_identity
83 putStr "prop_c2100_identity... "
84 quickCheckWith qc_args TT.prop_c2100_identity
86 putStr "prop_c1110_identity... "
87 quickCheckWith qc_args TT.prop_c1110_identity
89 putStrLn "\np. 78, (2.5)\n"
91 putStr "prop_cijk1_identity... "
92 quickCheckWith qc_args prop_cijk1_identity
93 putStrLn "\np. 79, (2.6)\n"
95 putStr "prop_c0120_identity1... "
96 quickCheckWith qc_args TF.prop_c0120_identity1
98 putStr "prop_c0210_identity1... "
99 quickCheckWith qc_args TF.prop_c0210_identity1
101 putStr "prop_c0300_identity1... "
102 quickCheckWith qc_args TF.prop_c0300_identity1
104 putStr "prop_c1110_identity... "
105 quickCheckWith qc_args TF.prop_c1110_identity
107 putStr "prop_c1200_identity1... "
108 quickCheckWith qc_args prop_c1200_identity1
110 putStr "prop_c2100_identity1... "
111 quickCheckWith qc_args TF.prop_c2100_identity1
113 putStrLn "\np. 79, (2.7)\n"
115 putStr "prop_c0102_identity1... "
116 quickCheckWith qc_args TF.prop_c0102_identity1
118 putStr "prop_c0201_identity1... "
119 quickCheckWith qc_args TF.prop_c0201_identity1
121 putStr "prop_c0300_identity2... "
122 quickCheckWith qc_args TF.prop_c0300_identity2
124 putStr "prop_c1101_identity... "
125 quickCheckWith qc_args TF.prop_c1101_identity
127 putStr "prop_c1200_identity2... "
128 quickCheckWith qc_args TF.prop_c1200_identity2
130 putStr "prop_c2100_identity2... "
131 quickCheckWith qc_args TF.prop_c2100_identity2
133 putStrLn "\np. 79, (2.8)\n"
135 putStr "prop_c3000_identity... "
136 quickCheckWith qc_args TF.prop_c3000_identity
138 putStr "prop_c2010_identity... "
139 quickCheckWith qc_args TF.prop_c2010_identity
141 putStr "prop_c2001_identity... "
142 quickCheckWith qc_args TF.prop_c2001_identity
144 putStr "prop_c1020_identity... "
145 quickCheckWith qc_args TF.prop_c1020_identity
147 putStr "prop_c1002_identity... "
148 quickCheckWith qc_args TF.prop_c1002_identity
150 putStr "prop_c1011_identity... "
151 quickCheckWith qc_args TF.prop_c1011_identity
153 putStrLn "\np. 80, (2.9)\n"
155 putStr "prop_c0120_identity2... "
156 quickCheckWith qc_args TF.prop_c0120_identity2
158 putStr "prop_c0102_identity2... "
159 quickCheckWith qc_args TF.prop_c0102_identity2
161 putStr "prop_c0111_identity... "
162 quickCheckWith qc_args TF.prop_c0111_identity
164 putStr "prop_c0210_identity2... "
165 quickCheckWith qc_args TF.prop_c0210_identity2
167 putStr "prop_c0201_identity2... "
168 quickCheckWith qc_args TF.prop_c0201_identity2
170 putStr "prop_c0300_identity3... "
171 quickCheckWith qc_args TF.prop_c0300_identity3