From a5e03816d88ef23d30bd81bb9fe2bfefcbfbcec1 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 17 Aug 2011 18:30:01 -0400
Subject: [PATCH] Add the trilinearx2 reproduction test.

---
 src/Tests/Grid.hs | 18 ++++++++++++++++++
 test/TestSuite.hs |  3 ++-
 2 files changed, 20 insertions(+), 1 deletion(-)

diff --git a/src/Tests/Grid.hs b/src/Tests/Grid.hs
index ad7bab9..55ca31e 100644
--- a/src/Tests/Grid.hs
+++ b/src/Tests/Grid.hs
@@ -704,3 +704,21 @@ test_zeros_reproduced =
       c0 = fromJust $ cube_at g 1 1 1
       t0 = tetrahedron0 c0
       p = polynomial t0
+
+
+-- | 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
+            | i <- [0..8],
+              j <- [0..8],
+              k <- [0..8],
+              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
diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index 9dea6bd..c7c1164 100644
--- a/test/TestSuite.hs
+++ b/test/TestSuite.hs
@@ -85,7 +85,8 @@ grid_tests =
       tc "trilinear reproduced (t21)" test_trilinear_reproduced_t21,
       tc "trilinear reproduced (t22)" test_trilinear_reproduced_t22,
       tc "trilinear reproduced (t23)" test_trilinear_reproduced_t23,
-      tc "zeros reproduced" test_zeros_reproduced ]
+      tc "zeros reproduced" test_zeros_reproduced,
+      tc "trilinearx2 reproduced (t0)" test_trilinearx2_reproduced_t0 ]
 
 
 misc_tests :: Test.Framework.Test
-- 
2.43.2