+test_trilinear_reproduced_t1 :: Assertion
+test_trilinear_reproduced_t1 =
+ assertTrue "trilinears are reproduced correctly" $
+ and [p (i', j', k') ~= value_at trilinear i j k
+ | i <- [0..2],
+ j <- [0..2],
+ k <- [0..2],
+ let i' = fromIntegral i,
+ let j' = fromIntegral j,
+ let k' = fromIntegral k]
+ where
+ g = make_grid 1 trilinear
+ c0 = fromJust $ cube_at g 1 1 1
+ t1 = tetrahedron1 c0
+ p = polynomial t1
+
+test_trilinear_reproduced_t2 :: Assertion
+test_trilinear_reproduced_t2 =
+ assertTrue "trilinears are reproduced correctly" $
+ and [p (i', j', k') ~= value_at trilinear i j k
+ | i <- [0..2],
+ j <- [0..2],
+ k <- [0..2],
+ let i' = fromIntegral i,
+ let j' = fromIntegral j,
+ let k' = fromIntegral k]
+ where
+ g = make_grid 1 trilinear
+ c0 = fromJust $ cube_at g 1 1 1
+ t2 = tetrahedron2 c0
+ p = polynomial t2
+
+test_trilinear_reproduced_t3 :: Assertion
+test_trilinear_reproduced_t3 =
+ assertTrue "trilinears are reproduced correctly" $
+ and [p (i', j', k') ~= value_at trilinear i j k
+ | i <- [0..2],
+ j <- [0..2],
+ k <- [0..2],
+ let i' = fromIntegral i,
+ let j' = fromIntegral j,
+ let k' = fromIntegral k]
+ where
+ g = make_grid 1 trilinear
+ c0 = fromJust $ cube_at g 1 1 1
+ t3 = tetrahedron3 c0
+ p = polynomial t3
+
+test_trilinear_reproduced_t4 :: Assertion
+test_trilinear_reproduced_t4 =
+ assertTrue "trilinears are reproduced correctly" $
+ and [p (i', j', k') ~= value_at trilinear i j k
+ | i <- [0..2],
+ j <- [0..2],
+ k <- [0..2],
+ let i' = fromIntegral i,
+ let j' = fromIntegral j,
+ let k' = fromIntegral k]
+ where
+ g = make_grid 1 trilinear
+ c0 = fromJust $ cube_at g 1 1 1
+ t4 = tetrahedron4 c0
+ p = polynomial t4
+
+test_trilinear_reproduced_t5 :: Assertion
+test_trilinear_reproduced_t5 =
+ assertTrue "trilinears are reproduced correctly" $
+ and [p (i', j', k') ~= value_at trilinear i j k
+ | i <- [0..2],
+ j <- [0..2],
+ k <- [0..2],
+ let i' = fromIntegral i,
+ let j' = fromIntegral j,
+ let k' = fromIntegral k]
+ where
+ g = make_grid 1 trilinear
+ c0 = fromJust $ cube_at g 1 1 1
+ t5 = tetrahedron5 c0
+ p = polynomial t5
+
+test_trilinear_reproduced_t6 :: Assertion
+test_trilinear_reproduced_t6 =
+ assertTrue "trilinears are reproduced correctly" $
+ and [p (i', j', k') ~= value_at trilinear i j k
+ | i <- [0..2],
+ j <- [0..2],
+ k <- [0..2],
+ let i' = fromIntegral i,
+ let j' = fromIntegral j,
+ let k' = fromIntegral k]
+ where
+ g = make_grid 1 trilinear
+ c0 = fromJust $ cube_at g 1 1 1
+ t6 = tetrahedron6 c0
+ p = polynomial t6
+
+test_trilinear_reproduced_t7 :: Assertion
+test_trilinear_reproduced_t7 =
+ assertTrue "trilinears are reproduced correctly" $
+ and [p (i', j', k') ~= value_at trilinear i j k
+ | i <- [0..2],
+ j <- [0..2],
+ k <- [0..2],
+ let i' = fromIntegral i,
+ let j' = fromIntegral j,
+ let k' = fromIntegral k]
+ where
+ g = make_grid 1 trilinear
+ c0 = fromJust $ cube_at g 1 1 1
+ t7 = tetrahedron7 c0
+ p = polynomial t7
+
+test_trilinear_reproduced_t8 :: Assertion
+test_trilinear_reproduced_t8 =
+ assertTrue "trilinears are reproduced correctly" $
+ and [p (i', j', k') ~= value_at trilinear i j k
+ | i <- [0..2],
+ j <- [0..2],
+ k <- [0..2],
+ let i' = fromIntegral i,
+ let j' = fromIntegral j,
+ let k' = fromIntegral k]
+ where
+ g = make_grid 1 trilinear
+ c0 = fromJust $ cube_at g 1 1 1
+ t8 = tetrahedron8 c0
+ p = polynomial t8
+
+test_trilinear_reproduced_t9 :: Assertion
+test_trilinear_reproduced_t9 =
+ assertTrue "trilinears are reproduced correctly" $
+ and [p (i', j', k') ~= value_at trilinear i j k
+ | i <- [0..2],
+ j <- [0..2],
+ k <- [0..2],
+ let i' = fromIntegral i,
+ let j' = fromIntegral j,
+ let k' = fromIntegral k]
+ where
+ g = make_grid 1 trilinear
+ c0 = fromJust $ cube_at g 1 1 1
+ t9 = tetrahedron9 c0
+ p = polynomial t9
+
+test_trilinear_reproduced_t10 :: Assertion
+test_trilinear_reproduced_t10 =
+ assertTrue "trilinears are reproduced correctly" $
+ and [p (i', j', k') ~= value_at trilinear i j k
+ | i <- [0..2],
+ j <- [0..2],
+ k <- [0..2],
+ let i' = fromIntegral i,
+ let j' = fromIntegral j,
+ let k' = fromIntegral k]
+ where
+ g = make_grid 1 trilinear
+ c0 = fromJust $ cube_at g 1 1 1
+ t10 = tetrahedron10 c0
+ p = polynomial t10
+
+test_trilinear_reproduced_t11 :: Assertion
+test_trilinear_reproduced_t11 =
+ assertTrue "trilinears are reproduced correctly" $
+ and [p (i', j', k') ~= value_at trilinear i j k
+ | i <- [0..2],
+ j <- [0..2],
+ k <- [0..2],
+ let i' = fromIntegral i,
+ let j' = fromIntegral j,
+ let k' = fromIntegral k]
+ where
+ g = make_grid 1 trilinear
+ c0 = fromJust $ cube_at g 1 1 1
+ t11 = tetrahedron11 c0
+ p = polynomial t11
+
+test_trilinear_reproduced_t12 :: Assertion
+test_trilinear_reproduced_t12 =
+ assertTrue "trilinears are reproduced correctly" $
+ and [p (i', j', k') ~= value_at trilinear i j k
+ | i <- [0..2],
+ j <- [0..2],
+ k <- [0..2],
+ let i' = fromIntegral i,
+ let j' = fromIntegral j,
+ let k' = fromIntegral k]
+ where
+ g = make_grid 1 trilinear
+ c0 = fromJust $ cube_at g 1 1 1
+ t12 = tetrahedron12 c0
+ p = polynomial t12