X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FTests%2FGrid.hs;h=b565f0d819e29212aec3f9d94202a148670d76d0;hb=883ce9d78072c492000de94478189095032b6615;hp=6da0e09e2b6a663eabd31214750c592f64060d64;hpb=f6d0c289ad3397cf392976c24f3afdb17da5d377;p=spline3.git

diff --git a/src/Tests/Grid.hs b/src/Tests/Grid.hs
index 6da0e09..b565f0d 100644
--- a/src/Tests/Grid.hs
+++ b/src/Tests/Grid.hs
@@ -336,18 +336,19 @@ test_zeros_reproduced =
 
 
 -- | Make sure we can reproduce a 9x9x9 trilinear from the 3x3x3 one.
-test_trilinearx2_reproduced_t0 :: Assertion
-test_trilinearx2_reproduced_t0 =
-    assertTrue "trilinearx2 is reproduced correctly" $
-      and [p (i', j', k') ~= value_at trilinearx2 i j k
+test_trilinear9x9x9_reproduced :: Assertion
+test_trilinear9x9x9_reproduced =
+    assertTrue "trilinear 9x9x9 is reproduced correctly" $
+      and [p (i', j', k') ~= value_at trilinear9x9x9 i j k
             | i <- [0..8],
               j <- [0..8],
               k <- [0..8],
+              t <- tetrahedra c0,
+              let p = polynomial t,
               let i' = (fromIntegral i) * 0.5,
               let j' = (fromIntegral j) * 0.5,
               let k' = (fromIntegral k) * 0.5]
     where
       g = make_grid 1 trilinear
       c0 = fromJust $ cube_at g 1 1 1
-      t0 = tetrahedron0 c0
-      p = polynomial t0
+