Add a Cardinal test, computed manually and from Sorokina and Zeilfelder, p. 87.

[spline3.git] / src / Tests / Cube.hs

diff --git a/src/Tests/Cube.hs b/src/Tests/Cube.hs
index 58469779293c33577908dd66b3638d1ee8c5a45b..5a9ca19330465e1e6e9a7b56ab2dfc62405f7060 100644 (file)
--- a/src/Tests/Cube.hs
+++ b/src/Tests/Cube.hs
@@ -537,7 +537,9 @@ prop_c1011_identity cube =
 --         t1 = tetrahedron1 cube
 
 
+
 -- | We know what (c t6 2 1 0 0) should be from Sorokina and Zeilfelder, p. 87.
+--   This test checks the actual value based on the FunctionValues of the cube.
 prop_c_tilde_2100_correct :: Cube -> Bool
 prop_c_tilde_2100_correct cube =
     c t6 2 1 0 0 == (3/8)*int + (1/12)*(f + r + l + b) + (1/64)*(ft + rt + lt + bt)