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 putStr "prop_c3000_identity... "
79 quickCheckWith qc_args TT.prop_c3000_identity
81 putStr "prop_c2100_identity... "
82 quickCheckWith qc_args TT.prop_c2100_identity
84 putStr "prop_c1110_identity... "
85 quickCheckWith qc_args TT.prop_c1110_identity
87 putStrLn "\np. 79, (2.6)\n"
89 putStr "prop_c0120_identity1... "
90 quickCheckWith qc_args TF.prop_c0120_identity1
92 putStr "prop_c0210_identity1... "
93 quickCheckWith qc_args TF.prop_c0210_identity1
95 putStr "prop_c0300_identity1... "
96 quickCheckWith qc_args TF.prop_c0300_identity1
98 putStr "prop_c1110_identity... "
99 quickCheckWith qc_args TF.prop_c1110_identity
101 putStr "prop_c1200_identity1... "
102 quickCheckWith qc_args prop_c1200_identity1
104 putStr "prop_c2100_identity1... "
105 quickCheckWith qc_args TF.prop_c2100_identity1
107 putStrLn "\np. 79, (2.7)\n"
109 putStr "prop_c0102_identity1... "
110 quickCheckWith qc_args TF.prop_c0102_identity1
112 putStr "prop_c0201_identity1... "
113 quickCheckWith qc_args TF.prop_c0201_identity1
115 putStr "prop_c0300_identity2... "
116 quickCheckWith qc_args TF.prop_c0300_identity2
118 putStr "prop_c1101_identity... "
119 quickCheckWith qc_args TF.prop_c1101_identity
121 putStr "prop_c1200_identity2... "
122 quickCheckWith qc_args TF.prop_c1200_identity2
124 putStr "prop_c2100_identity2... "
125 quickCheckWith qc_args TF.prop_c2100_identity2
127 putStrLn "\np. 79, (2.8)\n"
129 putStr "prop_c3000_identity... "
130 quickCheckWith qc_args TF.prop_c3000_identity
132 putStr "prop_c2010_identity... "
133 quickCheckWith qc_args TF.prop_c2010_identity
135 putStr "prop_c2001_identity... "
136 quickCheckWith qc_args TF.prop_c2001_identity
138 putStr "prop_c1020_identity... "
139 quickCheckWith qc_args TF.prop_c1020_identity
141 putStr "prop_c1002_identity... "
142 quickCheckWith qc_args TF.prop_c1002_identity
144 putStr "prop_c1011_identity... "
145 quickCheckWith qc_args TF.prop_c1011_identity
147 putStrLn "\np. 80, (2.9)\n"
149 putStr "prop_c0120_identity2... "
150 quickCheckWith qc_args TF.prop_c0120_identity2
152 putStr "prop_c0102_identity2... "
153 quickCheckWith qc_args TF.prop_c0102_identity2
155 putStr "prop_c0111_identity... "
156 quickCheckWith qc_args TF.prop_c0111_identity
158 putStr "prop_c0210_identity2... "
159 quickCheckWith qc_args TF.prop_c0210_identity2
161 putStr "prop_c0201_identity2... "
162 quickCheckWith qc_args TF.prop_c0201_identity2
164 putStr "prop_c0300_identity3... "
165 quickCheckWith qc_args TF.prop_c0300_identity3