Add five new prop_c0120_identity tests.

diff --git a/src/Tests/Cube.hs b/src/Tests/Cube.hs
index 418730ab61245b8ea028beaa3d67035b3632e77a..295eaa680f867cc0c453f807bb6d99dc58174a52 100644 (file)
--- a/src/Tests/Cube.hs
+++ b/src/Tests/Cube.hs
@@ -274,6 +274,55 @@ prop_c0120_identity1 cube =
        t3 = tetrahedron3 cube
 
 
+-- | Given in Sorokina and Zeilfelder, p. 79. Repeats
+--   prop_c0120_identity2 with tetrahedrons 3 and 2.
+prop_c0120_identity2 :: Cube -> Bool
+prop_c0120_identity2 cube =
+   c t3 0 1 2 0 ~= (c t3 0 0 2 1 + c t2 0 0 1 2) / 2
+     where
+       t3 = tetrahedron3 cube
+       t2 = tetrahedron2 cube
+
+-- | Given in Sorokina and Zeilfelder, p. 79. Repeats
+--   prop_c0120_identity1 with tetrahedrons 2 and 1.
+prop_c0120_identity3 :: Cube -> Bool
+prop_c0120_identity3 cube =
+   c t2 0 1 2 0 ~= (c t2 0 0 2 1 + c t1 0 0 1 2) / 2
+     where
+       t2 = tetrahedron2 cube
+       t1 = tetrahedron1 cube
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79. Repeats
+--   prop_c0120_identity1 with tetrahedrons 4 and 7.
+prop_c0120_identity4 :: Cube -> Bool
+prop_c0120_identity4 cube =
+   c t4 0 1 2 0 ~= (c t4 0 0 2 1 + c t7 0 0 1 2) / 2
+     where
+       t4 = tetrahedron4 cube
+       t7 = tetrahedron7 cube
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79. Repeats
+--   prop_c0120_identity1 with tetrahedrons 7 and 6.
+prop_c0120_identity5 :: Cube -> Bool
+prop_c0120_identity5 cube =
+   c t7 0 1 2 0 ~= (c t7 0 0 2 1 + c t6 0 0 1 2) / 2
+     where
+       t7 = tetrahedron7 cube
+       t6 = tetrahedron6 cube
+
+
+-- | Given in Sorokina and Zeilfelder, p. 79. Repeats
+--   prop_c0120_identity1 with tetrahedrons 6 and 5.
+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
+       t6 = tetrahedron6 cube
+       t5 = tetrahedron5 cube
+
+
 -- | Given in Sorokina and Zeilfelder, p. 79. 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

diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index baf1ab11ef3679200cc361c5610890d942325424..4158d996b72d78f79a313a39aaaff1f278ccfee2 100644 (file)
--- a/test/TestSuite.hs
+++ b/test/TestSuite.hs
@@ -147,6 +147,21 @@ main = do
   putStr "prop_c0120_identity1... "
   quickCheckWith qc_args TC.prop_c0120_identity1
 
+  putStr "prop_c0120_identity2... "
+  quickCheckWith qc_args TC.prop_c0120_identity2
+
+  putStr "prop_c0120_identity3... "
+  quickCheckWith qc_args TC.prop_c0120_identity3
+
+  putStr "prop_c0120_identity4... "
+  quickCheckWith qc_args TC.prop_c0120_identity4
+
+  putStr "prop_c0120_identity5... "
+  quickCheckWith qc_args TC.prop_c0120_identity5
+
+  putStr "prop_c0120_identity6... "
+  quickCheckWith qc_args TC.prop_c0120_identity6
+
   putStr "prop_c0210_identity1... "
   quickCheckWith qc_args TC.prop_c0210_identity1