-- | 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
+