From: Michael Orlitzky Date: Thu, 29 Sep 2011 21:38:38 +0000 (-0400) Subject: Remove the (2.5) test, since I can't get it to pass. It is equivalent to the (2.6... X-Git-Tag: 0.0.1~122 X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=2813bba7169c1457e630b3870858e96fd4bf61da;p=spline3.git 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. --- 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,