From 2813bba7169c1457e630b3870858e96fd4bf61da Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Thu, 29 Sep 2011 17:38:38 -0400
Subject: [PATCH] Remove the (2.5) test, since I can't get it to pass. It is
 equivalent to the (2.6), (2.7), (2.8), and (2.9) identities whose tests *do*
 pass.

---
 src/Cube.hs | 26 --------------------------
 1 file changed, 26 deletions(-)

diff --git a/src/Cube.hs b/src/Cube.hs
index 26b513d..7b139a4 100644
--- a/src/Cube.hs
+++ b/src/Cube.hs
@@ -955,23 +955,6 @@ prop_c1011_identity cube =
         t6 = tetrahedron cube 6
 
 
-
--- | Given in Sorokina and Zeilfelder, p. 78.
-prop_cijk1_identity :: Cube -> Bool
-prop_cijk1_identity cube =
-     and [ c t0 i j k 1 ~=
-                 (c t1 (i+1) j k 0) * ((b0 t0) (v3 t1)) +
-                 (c t1 i (j+1) k 0) * ((b1 t0) (v3 t1)) +
-                 (c t1 i j (k+1) 0) * ((b2 t0) (v3 t1)) +
-                 (c t1 i j k 1) * ((b3 t0) (v3 t1)) | i <- [0..2],
-                                                      j <- [0..2],
-                                                      k <- [0..2],
-                                                      i + j + k == 2]
-      where
-        t0 = tetrahedron cube 0
-        t1 = tetrahedron cube 1
-
-
 -- | The function values at the interior should be the same for all
 --   tetrahedra.
 prop_interior_values_all_identical :: Cube -> Bool
@@ -1139,14 +1122,6 @@ prop_t7_shares_edge_with_t20 cube =
         t20 = tetrahedron cube 20
 
 
-
-
-
-p78_25_properties :: Test.Framework.Test
-p78_25_properties =
-    testGroup "p. 78, Section (2.5) Properties" [
-      testProperty "c_ijk1 identity" prop_cijk1_identity ]
-
 p79_26_properties :: Test.Framework.Test
 p79_26_properties =
     testGroup "p. 79, Section (2.6) Properties" [
@@ -1207,7 +1182,6 @@ edge_incidence_tests =
 cube_properties :: Test.Framework.Test
 cube_properties =
   testGroup "Cube Properties" [
-    p78_25_properties,
     p79_26_properties,
     p79_27_properties,
     p79_28_properties,
-- 
2.43.2