5 import Tests.Face as TF
7 import Tests.Tetrahedron as TT
9 -- The list of HUnit tests.
10 test_suite = TestList (concat [face_tests,
22 let qc_args = stdArgs { maxSuccess = 100,
26 -- putStr "prop_all_volumes_positive... "
27 -- quickCheckWith qc_args prop_all_volumes_positive
29 -- putStr "prop_factorial_greater... "
30 -- quickCheckWith qc_args prop_factorial_greater
32 -- putStr "prop_b0_v0_always_unity... "
33 -- quickCheckWith qc_args prop_b0_v0_always_unity
35 -- putStr "prop_b0_v1_always_zero... "
36 -- quickCheckWith qc_args prop_b0_v1_always_zero
38 -- putStr "prop_b0_v2_always_zero... "
39 -- quickCheckWith qc_args prop_b0_v2_always_zero
41 -- putStr "prop_b0_v3_always_zero... "
42 -- quickCheckWith qc_args prop_b0_v3_always_zero
44 -- putStr "prop_b1_v1_always_unity... "
45 -- quickCheckWith qc_args prop_b1_v1_always_unity
47 -- putStr "prop_b1_v0_always_zero... "
48 -- quickCheckWith qc_args prop_b1_v0_always_zero
50 -- putStr "prop_b1_v2_always_zero... "
51 -- quickCheckWith qc_args prop_b1_v2_always_zero
53 -- putStr "prop_b1_v3_always_zero... "
54 -- quickCheckWith qc_args prop_b1_v3_always_zero
56 -- putStr "prop_b2_v2_always_unity... "
57 -- quickCheckWith qc_args prop_b2_v2_always_unity
59 -- putStr "prop_b2_v0_always_zero... "
60 -- quickCheckWith qc_args prop_b2_v0_always_zero
62 -- putStr "prop_b2_v1_always_zero... "
63 -- quickCheckWith qc_args prop_b2_v1_always_zero
65 -- putStr "prop_b2_v3_always_zero... "
66 -- quickCheckWith qc_args prop_b2_v3_always_zero
68 -- putStr "prop_b3_v3_always_unity... "
69 -- quickCheckWith qc_args prop_b3_v3_always_unity
71 -- putStr "prop_b3_v0_always_zero... "
72 -- quickCheckWith qc_args prop_b3_v0_always_zero
74 -- putStr "prop_b3_v1_always_zero... "
75 -- quickCheckWith qc_args prop_b3_v1_always_zero
77 -- putStr "prop_b3_v2_always_zero... "
78 -- quickCheckWith qc_args prop_b3_v2_always_zero
80 -- putStrLn "\np. 78, (2.4)\n"
82 -- putStr "prop_c3000_identity... "
83 -- quickCheckWith qc_args TT.prop_c3000_identity
85 -- putStr "prop_c2100_identity... "
86 -- quickCheckWith qc_args TT.prop_c2100_identity
88 -- putStr "prop_c1110_identity... "
89 -- quickCheckWith qc_args TT.prop_c1110_identity
91 -- putStrLn "\np. 78, (2.5)\n"
93 -- putStr "prop_cijk1_identity... "
94 -- quickCheckWith qc_args prop_cijk1_identity
95 -- putStrLn "\np. 79, (2.6)\n"
97 -- putStr "prop_c0120_identity1... "
98 -- quickCheckWith qc_args TF.prop_c0120_identity1
100 -- putStr "prop_c0210_identity1... "
101 -- quickCheckWith qc_args TF.prop_c0210_identity1
103 -- putStr "prop_c0300_identity1... "
104 -- quickCheckWith qc_args TF.prop_c0300_identity1
106 -- putStr "prop_c1110_identity... "
107 -- quickCheckWith qc_args TF.prop_c1110_identity
109 -- putStr "prop_c1200_identity1... "
110 -- quickCheckWith qc_args prop_c1200_identity1
112 -- putStr "prop_c2100_identity1... "
113 -- quickCheckWith qc_args TF.prop_c2100_identity1
115 -- putStrLn "\np. 79, (2.7)\n"
117 -- putStr "prop_c0102_identity1... "
118 -- quickCheckWith qc_args TF.prop_c0102_identity1
120 -- putStr "prop_c0201_identity1... "
121 -- quickCheckWith qc_args TF.prop_c0201_identity1
123 -- putStr "prop_c0300_identity2... "
124 -- quickCheckWith qc_args TF.prop_c0300_identity2
126 -- putStr "prop_c1101_identity... "
127 -- quickCheckWith qc_args TF.prop_c1101_identity
129 -- putStr "prop_c1200_identity2... "
130 -- quickCheckWith qc_args TF.prop_c1200_identity2
132 -- putStr "prop_c2100_identity2... "
133 -- quickCheckWith qc_args TF.prop_c2100_identity2
135 -- putStrLn "\np. 79, (2.8)\n"
137 -- putStr "prop_c3000_identity... "
138 -- quickCheckWith qc_args TF.prop_c3000_identity
140 -- putStr "prop_c2010_identity... "
141 -- quickCheckWith qc_args TF.prop_c2010_identity
143 -- putStr "prop_c2001_identity... "
144 -- quickCheckWith qc_args TF.prop_c2001_identity
146 -- putStr "prop_c1020_identity... "
147 -- quickCheckWith qc_args TF.prop_c1020_identity
149 -- putStr "prop_c1002_identity... "
150 -- quickCheckWith qc_args TF.prop_c1002_identity
152 -- putStr "prop_c1011_identity... "
153 -- quickCheckWith qc_args TF.prop_c1011_identity
155 -- putStrLn "\np. 80, (2.9)\n"
157 -- putStr "prop_c0120_identity2... "
158 -- quickCheckWith qc_args TF.prop_c0120_identity2
160 -- putStr "prop_c0102_identity2... "
161 -- quickCheckWith qc_args TF.prop_c0102_identity2
163 -- putStr "prop_c0111_identity... "
164 -- quickCheckWith qc_args TF.prop_c0111_identity
166 -- putStr "prop_c0210_identity2... "
167 -- quickCheckWith qc_args TF.prop_c0210_identity2
169 -- putStr "prop_c0201_identity2... "
170 -- quickCheckWith qc_args TF.prop_c0201_identity2
172 -- putStr "prop_c0300_identity3... "
173 -- quickCheckWith qc_args TF.prop_c0300_identity3
175 putStr "prop_ccwx_rotation_changes_direction... "
176 quickCheckWith qc_args prop_ccwx_rotation_changes_direction
178 putStr "prop_cwx_rotation_changes_direction... "
179 quickCheckWith qc_args prop_cwx_rotation_changes_direction