From: Michael Orlitzky Date: Sat, 7 May 2011 20:05:07 +0000 (-0400) Subject: Add the actual volume tests for tetrahedron 8 through 11. X-Git-Tag: 0.0.1~321 X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=9a3a3a8596fd2b87f19d6d904d564fd1c7fe706f;p=spline3.git Add the actual volume tests for tetrahedron 8 through 11. --- diff --git a/src/Tests/Cube.hs b/src/Tests/Cube.hs index 275681b..4a119c2 100644 --- a/src/Tests/Cube.hs +++ b/src/Tests/Cube.hs @@ -162,3 +162,27 @@ prop_tetrahedron6_volumes_positive c = prop_tetrahedron7_volumes_positive :: Cube -> Bool prop_tetrahedron7_volumes_positive c = volume (tetrahedron7 c) > 0 + +-- | This pretty much repeats the prop_all_volumes_positive property, +-- but will let me know which tetrahedrons's vertices are disoriented. +prop_tetrahedron8_volumes_positive :: Cube -> Bool +prop_tetrahedron8_volumes_positive c = + volume (tetrahedron8 c) > 0 + +-- | This pretty much repeats the prop_all_volumes_positive property, +-- but will let me know which tetrahedrons's vertices are disoriented. +prop_tetrahedron9_volumes_positive :: Cube -> Bool +prop_tetrahedron9_volumes_positive c = + volume (tetrahedron9 c) > 0 + +-- | This pretty much repeats the prop_all_volumes_positive property, +-- but will let me know which tetrahedrons's vertices are disoriented. +prop_tetrahedron10_volumes_positive :: Cube -> Bool +prop_tetrahedron10_volumes_positive c = + volume (tetrahedron10 c) > 0 + +-- | This pretty much repeats the prop_all_volumes_positive property, +-- but will let me know which tetrahedrons's vertices are disoriented. +prop_tetrahedron11_volumes_positive :: Cube -> Bool +prop_tetrahedron11_volumes_positive c = + volume (tetrahedron11 c) > 0