X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FTests%2FCube.hs;h=9c21311c43cbf64ecd52b3df73a07518bcba5444;hb=e4cbb5f1f1fea88fde8db9eaba0d90829e9ab497;hp=275681b92582a7ff8fe37f57d51b5c2e1b822b53;hpb=280b105ba17ce58bfa79815d6ac07410f5ca0501;p=spline3.git

diff --git a/src/Tests/Cube.hs b/src/Tests/Cube.hs
index 275681b..9c21311 100644
--- a/src/Tests/Cube.hs
+++ b/src/Tests/Cube.hs
@@ -5,8 +5,8 @@ import Test.QuickCheck
 
 import Comparisons
 import Cube
-import FunctionValues (FunctionValues(FunctionValues))
-import Tests.FunctionValues
+import FunctionValues (FunctionValues)
+import Tests.FunctionValues ()
 import Tetrahedron (v0, volume)
 
 instance Arbitrary Cube where
@@ -162,3 +162,51 @@ 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
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron12_volumes_positive :: Cube -> Bool
+prop_tetrahedron12_volumes_positive c =
+    volume (tetrahedron12 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron13_volumes_positive :: Cube -> Bool
+prop_tetrahedron13_volumes_positive c =
+    volume (tetrahedron13 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron14_volumes_positive :: Cube -> Bool
+prop_tetrahedron14_volumes_positive c =
+    volume (tetrahedron14 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron15_volumes_positive :: Cube -> Bool
+prop_tetrahedron15_volumes_positive c =
+    volume (tetrahedron15 c) > 0