From 9a3a3a8596fd2b87f19d6d904d564fd1c7fe706f Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sat, 7 May 2011 16:05:07 -0400 Subject: [PATCH] Add the actual volume tests for tetrahedron 8 through 11. --- src/Tests/Cube.hs | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) 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 -- 2.44.2