From: Michael Orlitzky <michael@orlitzky.com>
Date: Sat, 27 Aug 2011 23:49:51 +0000 (-0400)
Subject: Add a test: test_tetrahedra_collision_sensitivity.
X-Git-Tag: 0.0.1~215
X-Git-Url: http://gitweb.michael.orlitzky.com/?p=spline3.git;a=commitdiff_plain;h=ac0e94e82605a5fd1e3ee724cd597f48614689e4

Add a test: test_tetrahedra_collision_sensitivity.
---

diff --git a/src/Tests/Grid.hs b/src/Tests/Grid.hs
index b565f0d..92ba20e 100644
--- a/src/Tests/Grid.hs
+++ b/src/Tests/Grid.hs
@@ -10,7 +10,9 @@ import Cube hiding (i, j, k)
 import Examples
 import FunctionValues (value_at)
 import Grid
+import Point (Point)
 import Tetrahedron
+import ThreeDimensional
 
 
 -- | Check the value of c0030 for tetrahedron0 belonging to the
@@ -352,3 +354,26 @@ test_trilinear9x9x9_reproduced =
       g = make_grid 1 trilinear
       c0 = fromJust $ cube_at g 1 1 1
 
+
+-- | The point 'p' in this test lies on the boundary of tetrahedra 12 and 15.
+--   However, the 'contains_point' test fails due to some numerical innacuracy.
+--   This bug should have been fixed by setting a positive tolerance level.
+--
+--   Example from before the fix:
+--
+--   > b0 (tetrahedron12 c) p
+--   -2.168404344971019e-18
+--   > b0 (tetrahedron15 c) p
+--   -3.4694469519536365e-18
+--
+test_tetrahedra_collision_sensitivity :: Assertion
+test_tetrahedra_collision_sensitivity =
+  assertTrue "tetrahedron collision tests aren't too sensitive" $
+             contains_point t12 p &&
+             contains_point t15 p
+  where
+    g = make_grid 1 trilinear
+    c = cube_at g 0 17 1
+    p = (0, 16.75, 0.5) :: Point
+    t12 = tetrahedron12 c
+    t15 = tetrahedron15 c
diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index 23bc603..1d4a235 100644
--- a/test/TestSuite.hs
+++ b/test/TestSuite.hs
@@ -63,7 +63,9 @@ grid_tests =
       tc "trilinear f0_t0_v3" test_trilinear_f0_t0_v3,
       tc "trilinear reproduced" test_trilinear_reproduced,
       tc "zeros reproduced" test_zeros_reproduced,
-      tc "trilinear9x9x9 reproduced" test_trilinear9x9x9_reproduced ]
+      tc "trilinear9x9x9 reproduced" test_trilinear9x9x9_reproduced,
+      tc "tetrahedra collision test isn't too sensitive"
+         test_tetrahedra_collision_sensitivity ]
 
 
 misc_tests :: Test.Framework.Test