X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FTests%2FCube.hs;h=5485046ec46b934cc423bb9dedb0054eab9d289b;hb=01925d099b231a128f6bd51abd61bf9ff9c424b6;hp=1df642fea96b6fab5163913a96fe735a168fcbfb;hpb=a73ad12eaff8510ae18ffafdefc0ae928603d5a5;p=spline3.git

diff --git a/src/Tests/Cube.hs b/src/Tests/Cube.hs
index 1df642f..5485046 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
@@ -210,3 +210,51 @@ prop_tetrahedron14_volumes_positive c =
 prop_tetrahedron15_volumes_positive :: Cube -> Bool
 prop_tetrahedron15_volumes_positive c =
     volume (tetrahedron15 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron16_volumes_positive :: Cube -> Bool
+prop_tetrahedron16_volumes_positive c =
+    volume (tetrahedron16 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron17_volumes_positive :: Cube -> Bool
+prop_tetrahedron17_volumes_positive c =
+    volume (tetrahedron17 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron18_volumes_positive :: Cube -> Bool
+prop_tetrahedron18_volumes_positive c =
+    volume (tetrahedron18 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron19_volumes_positive :: Cube -> Bool
+prop_tetrahedron19_volumes_positive c =
+    volume (tetrahedron19 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron20_volumes_positive :: Cube -> Bool
+prop_tetrahedron20_volumes_positive c =
+    volume (tetrahedron20 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron21_volumes_positive :: Cube -> Bool
+prop_tetrahedron21_volumes_positive c =
+    volume (tetrahedron21 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron22_volumes_positive :: Cube -> Bool
+prop_tetrahedron22_volumes_positive c =
+    volume (tetrahedron22 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron23_volumes_positive :: Cube -> Bool
+prop_tetrahedron23_volumes_positive c =
+    volume (tetrahedron23 c) > 0