X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FTests%2FCube.hs;h=5a9ca19330465e1e6e9a7b56ab2dfc62405f7060;hb=ec2f7ca5bb3b0c41c62812cd725c62e731bb9902;hp=58469779293c33577908dd66b3638d1ee8c5a45b;hpb=1ec27f638dc7a33a026fb1551dcf304cda3adfde;p=spline3.git diff --git a/src/Tests/Cube.hs b/src/Tests/Cube.hs index 5846977..5a9ca19 100644 --- 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)