- t0 = head (tetrahedrons c) -- Doesn't matter which two we choose.
- t1 = head $ tail (tetrahedrons c)
-
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron0_volumes_positive :: Cube -> Bool
-prop_tetrahedron0_volumes_positive c =
- volume (tetrahedron0 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron1_volumes_positive :: Cube -> Bool
-prop_tetrahedron1_volumes_positive c =
- volume (tetrahedron1 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron2_volumes_positive :: Cube -> Bool
-prop_tetrahedron2_volumes_positive c =
- volume (tetrahedron2 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron3_volumes_positive :: Cube -> Bool
-prop_tetrahedron3_volumes_positive c =
- volume (tetrahedron3 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron4_volumes_positive :: Cube -> Bool
-prop_tetrahedron4_volumes_positive c =
- volume (tetrahedron4 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron5_volumes_positive :: Cube -> Bool
-prop_tetrahedron5_volumes_positive c =
- volume (tetrahedron5 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron6_volumes_positive :: Cube -> Bool
-prop_tetrahedron6_volumes_positive c =
- volume (tetrahedron6 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron7_volumes_positive :: Cube -> Bool
-prop_tetrahedron7_volumes_positive c =
- volume (tetrahedron7 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron8_volumes_positive :: Cube -> Bool
-prop_tetrahedron8_volumes_positive c =
- volume (tetrahedron8 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron9_volumes_positive :: Cube -> Bool
-prop_tetrahedron9_volumes_positive c =
- volume (tetrahedron9 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron10_volumes_positive :: Cube -> Bool
-prop_tetrahedron10_volumes_positive c =
- volume (tetrahedron10 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron11_volumes_positive :: Cube -> Bool
-prop_tetrahedron11_volumes_positive c =
- volume (tetrahedron11 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron12_volumes_positive :: Cube -> Bool
-prop_tetrahedron12_volumes_positive c =
- volume (tetrahedron12 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron13_volumes_positive :: Cube -> Bool
-prop_tetrahedron13_volumes_positive c =
- volume (tetrahedron13 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron14_volumes_positive :: Cube -> Bool
-prop_tetrahedron14_volumes_positive c =
- volume (tetrahedron14 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron15_volumes_positive :: Cube -> Bool
-prop_tetrahedron15_volumes_positive c =
- volume (tetrahedron15 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron16_volumes_positive :: Cube -> Bool
-prop_tetrahedron16_volumes_positive c =
- volume (tetrahedron16 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron17_volumes_positive :: Cube -> Bool
-prop_tetrahedron17_volumes_positive c =
- volume (tetrahedron17 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron18_volumes_positive :: Cube -> Bool
-prop_tetrahedron18_volumes_positive c =
- volume (tetrahedron18 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron19_volumes_positive :: Cube -> Bool
-prop_tetrahedron19_volumes_positive c =
- volume (tetrahedron19 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron20_volumes_positive :: Cube -> Bool
-prop_tetrahedron20_volumes_positive c =
- volume (tetrahedron20 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron21_volumes_positive :: Cube -> Bool
-prop_tetrahedron21_volumes_positive c =
- volume (tetrahedron21 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron22_volumes_positive :: Cube -> Bool
-prop_tetrahedron22_volumes_positive c =
- volume (tetrahedron22 c) > 0
-
--- | This pretty much repeats the prop_all_volumes_positive property,
--- but will let me know which tetrahedrons's vertices are disoriented.
-prop_tetrahedron23_volumes_positive :: Cube -> Bool
-prop_tetrahedron23_volumes_positive c =
- volume (tetrahedron23 c) > 0
-
-
--- | Given in Sorokina and Zeilfelder, p. 79.
---prop_c0120_identity1 :: Cube -> Bool
---prop_c0120_identity1 cube =
--- c0 ~= (c1 + c2) / 2
--- where
--- c0 = trace ("c0 :" ++ (show (c t0 0 1 2 0))) (c t0 0 1 2 0)
--- c1 = trace ("c1 :" ++ (show (c t0 0 0 2 1))) (c t0 0 0 2 1)
--- c2 = trace ("c2 :" ++ (show (c t1 0 0 2 1))) (c t1 0 0 2 1)
--- t0 = tetrahedron0 cube
--- t1 = tetrahedron1 cube
+ t4 = tetrahedron cube 4
+ t5 = tetrahedron cube 5
+
+-- -- | Given in Sorokina and Zeilfelder, p. 79, (2.6). Repeats
+-- -- 'prop_c0120_identity1' with tetrahedrons 5 and 6.
+prop_c0120_identity6 :: Cube -> Bool
+prop_c0120_identity6 cube =
+ c t6 0 1 2 0 ~= (c t6 0 0 2 1 + c t5 0 0 1 2) / 2
+ where
+ t5 = tetrahedron cube 5
+ t6 = tetrahedron cube 6
+
+
+-- -- | Given in Sorokina and Zeilfelder, p. 79, (2.6). Repeats
+-- -- 'prop_c0120_identity1' with tetrahedrons 6 and 7.
+prop_c0120_identity7 :: Cube -> Bool
+prop_c0120_identity7 cube =
+ c t7 0 1 2 0 ~= (c t7 0 0 2 1 + c t6 0 0 1 2) / 2
+ where
+ t6 = tetrahedron cube 6
+ t7 = tetrahedron cube 7
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.6). See
+-- 'prop_c0120_identity1'.
+prop_c0210_identity1 :: Cube -> Bool
+prop_c0210_identity1 cube =
+ c t0 0 2 1 0 ~= (c t0 0 1 1 1 + c t3 0 1 1 1) / 2
+ where
+ t0 = tetrahedron cube 0
+ t3 = tetrahedron cube 3
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.6). See
+-- 'prop_c0120_identity1'.
+prop_c0300_identity1 :: Cube -> Bool
+prop_c0300_identity1 cube =
+ c t0 0 3 0 0 ~= (c t0 0 2 0 1 + c t3 0 2 1 0) / 2
+ where
+ t0 = tetrahedron cube 0
+ t3 = tetrahedron cube 3
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.6). See
+-- 'prop_c0120_identity1'.
+prop_c1110_identity :: Cube -> Bool
+prop_c1110_identity cube =
+ c t0 1 1 1 0 ~= (c t0 1 0 1 1 + c t3 1 0 1 1) / 2
+ where
+ t0 = tetrahedron cube 0
+ t3 = tetrahedron cube 3
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.6). See
+-- 'prop_c0120_identity1'.
+prop_c1200_identity1 :: Cube -> Bool
+prop_c1200_identity1 cube =
+ c t0 1 2 0 0 ~= (c t0 1 1 0 1 + c t3 1 1 1 0) / 2
+ where
+ t0 = tetrahedron cube 0
+ t3 = tetrahedron cube 3
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.6). See
+-- 'prop_c0120_identity1'.
+prop_c2100_identity1 :: Cube -> Bool
+prop_c2100_identity1 cube =
+ c t0 2 1 0 0 ~= (c t0 2 0 0 1 + c t3 2 0 1 0) / 2
+ where
+ t0 = tetrahedron cube 0
+ t3 = tetrahedron cube 3
+
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.7). Note that the
+-- third and fourth indices of c-t3 have been switched. This is
+-- because we store the triangles oriented such that their volume is
+-- positive. If T and T-tilde share \<v0,v1,v2\> and v3,v3-tilde
+-- point in opposite directions, one of them has to have negative
+-- volume!
+prop_c0102_identity1 :: Cube -> Bool
+prop_c0102_identity1 cube =
+ c t0 0 1 0 2 ~= (c t0 0 0 1 2 + c t1 0 0 2 1) / 2
+ where
+ t0 = tetrahedron cube 0
+ t1 = tetrahedron cube 1
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.7). See
+-- 'prop_c0102_identity1'.
+prop_c0201_identity1 :: Cube -> Bool
+prop_c0201_identity1 cube =
+ c t0 0 2 0 1 ~= (c t0 0 1 1 1 + c t1 0 1 1 1) / 2
+ where
+ t0 = tetrahedron cube 0
+ t1 = tetrahedron cube 1
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.7). See
+-- 'prop_c0102_identity1'.
+prop_c0300_identity2 :: Cube -> Bool
+prop_c0300_identity2 cube =
+ c t0 0 3 0 0 ~= (c t0 0 2 1 0 + c t1 0 2 0 1) / 2
+ where
+ t0 = tetrahedron cube 0
+ t1 = tetrahedron cube 1
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.7). See
+-- 'prop_c0102_identity1'.
+prop_c1101_identity :: Cube -> Bool
+prop_c1101_identity cube =
+ c t0 1 1 0 1 ~= (c t0 1 0 1 1 + c t1 1 0 1 1) / 2
+ where
+ t0 = tetrahedron cube 0
+ t1 = tetrahedron cube 1
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.7). See
+-- 'prop_c0102_identity1'.
+prop_c1200_identity2 :: Cube -> Bool
+prop_c1200_identity2 cube =
+ c t0 1 2 0 0 ~= (c t0 1 1 1 0 + c t1 1 1 0 1) / 2
+ where
+ t0 = tetrahedron cube 0
+ t1 = tetrahedron cube 1
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.7). See
+-- 'prop_c0102_identity1'.
+prop_c2100_identity2 :: Cube -> Bool
+prop_c2100_identity2 cube =
+ c t0 2 1 0 0 ~= (c t0 2 0 1 0 + c t1 2 0 0 1) / 2
+ where
+ t0 = tetrahedron cube 0
+ t1 = tetrahedron cube 1
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.8). The third and
+-- fourth indices of c-t6 have been switched. This is because we
+-- store the triangles oriented such that their volume is
+-- positive. If T and T-tilde share \<v0,v1,v2\> and v3,v3-tilde
+-- point in opposite directions, one of them has to have negative
+-- volume!
+prop_c3000_identity :: Cube -> Bool
+prop_c3000_identity cube =
+ c t0 3 0 0 0 ~= c t0 2 1 0 0 + c t6 2 1 0 0
+ - ((c t0 2 0 1 0 + c t0 2 0 0 1)/ 2)
+ where
+ t0 = tetrahedron cube 0
+ t6 = tetrahedron cube 6
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.8). See
+-- 'prop_c3000_identity'.
+prop_c2010_identity :: Cube -> Bool
+prop_c2010_identity cube =
+ c t0 2 0 1 0 ~= c t0 1 1 1 0 + c t6 1 1 0 1
+ - ((c t0 1 0 2 0 + c t0 1 0 1 1)/ 2)
+ where
+ t0 = tetrahedron cube 0
+ t6 = tetrahedron cube 6
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.8). See
+-- 'prop_c3000_identity'.
+prop_c2001_identity :: Cube -> Bool
+prop_c2001_identity cube =
+ c t0 2 0 0 1 ~= c t0 1 1 0 1 + c t6 1 1 1 0
+ - ((c t0 1 0 0 2 + c t0 1 0 1 1)/ 2)
+ where
+ t0 = tetrahedron cube 0
+ t6 = tetrahedron cube 6
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.8). See
+-- 'prop_c3000_identity'.
+prop_c1020_identity :: Cube -> Bool
+prop_c1020_identity cube =
+ c t0 1 0 2 0 ~= c t0 0 1 2 0 + c t6 0 1 0 2
+ - ((c t0 0 0 3 0 + c t0 0 0 2 1)/ 2)
+ where
+ t0 = tetrahedron cube 0
+ t6 = tetrahedron cube 6
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.8). See
+-- 'prop_c3000_identity'.
+prop_c1002_identity :: Cube -> Bool
+prop_c1002_identity cube =
+ c t0 1 0 0 2 ~= c t0 0 1 0 2 + c t6 0 1 2 0
+ - ((c t0 0 0 0 3 + c t0 0 0 1 2)/ 2)
+ where
+ t0 = tetrahedron cube 0
+ t6 = tetrahedron cube 6
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.8). See
+-- 'prop_c3000_identity'.
+prop_c1011_identity :: Cube -> Bool
+prop_c1011_identity cube =
+ c t0 1 0 1 1 ~= c t0 0 1 1 1 + c t6 0 1 1 1 -
+ ((c t0 0 0 1 2 + c t0 0 0 2 1)/ 2)
+ where
+ t0 = tetrahedron cube 0
+ t6 = tetrahedron cube 6
+