X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FTests%2FCube.hs;h=2fd8cb67187c601fb63b3811bb3e7ad5cb6341fe;hb=3f0b6b7faecc561af0b7312a11c73a44a1b416f6;hp=92559e31377a1f080b2c5baa280c881d6a2f56b1;hpb=1f9335668ce3ebd6a6b82851a7f658d371071c97;p=spline3.git

diff --git a/src/Tests/Cube.hs b/src/Tests/Cube.hs
index 92559e3..2fd8cb6 100644
--- a/src/Tests/Cube.hs
+++ b/src/Tests/Cube.hs
@@ -14,25 +14,29 @@ import Tetrahedron (b0, b1, b2, b3, c, fv,
 
 -- Quickcheck tests.
 
--- | The 'front_half_tetrahedra' and 'back_half_tetrahedra' should
---   have no tetrahedra in common.
-prop_front_back_tetrahedra_disjoint :: Cube -> Bool
-prop_front_back_tetrahedra_disjoint c =
-    disjoint (front_half_tetrahedra c) (back_half_tetrahedra c)
+prop_opposite_octant_tetrahedra_disjoint1 :: Cube -> Bool
+prop_opposite_octant_tetrahedra_disjoint1 c =
+  disjoint (front_left_top_tetrahedra c) (front_right_down_tetrahedra c)
 
+prop_opposite_octant_tetrahedra_disjoint2 :: Cube -> Bool
+prop_opposite_octant_tetrahedra_disjoint2 c =
+  disjoint (back_left_top_tetrahedra c) (back_right_down_tetrahedra c)
 
--- | The 'top_half_tetrahedra' and 'down_half_tetrahedra' should
---   have no tetrahedra in common.
-prop_top_down_tetrahedra_disjoint :: Cube -> Bool
-prop_top_down_tetrahedra_disjoint c =
-    disjoint (top_half_tetrahedra c) (down_half_tetrahedra c)
+prop_opposite_octant_tetrahedra_disjoint3 :: Cube -> Bool
+prop_opposite_octant_tetrahedra_disjoint3 c =
+  disjoint (front_left_top_tetrahedra c) (back_right_top_tetrahedra c)
 
+prop_opposite_octant_tetrahedra_disjoint4 :: Cube -> Bool
+prop_opposite_octant_tetrahedra_disjoint4 c =
+  disjoint (front_left_down_tetrahedra c) (back_right_down_tetrahedra c)
 
--- | The 'left_half_tetrahedra' and 'right_half_tetrahedra' should
---   have no tetrahedra in common.
-prop_left_right_tetrahedra_disjoint :: Cube -> Bool
-prop_left_right_tetrahedra_disjoint c =
-    disjoint (left_half_tetrahedra c) (right_half_tetrahedra c)
+prop_opposite_octant_tetrahedra_disjoint5 :: Cube -> Bool
+prop_opposite_octant_tetrahedra_disjoint5 c =
+  disjoint (front_left_top_tetrahedra c) (back_left_down_tetrahedra c)
+
+prop_opposite_octant_tetrahedra_disjoint6 :: Cube -> Bool
+prop_opposite_octant_tetrahedra_disjoint6 c =
+  disjoint (front_right_top_tetrahedra c) (back_right_down_tetrahedra c)
 
 
 -- | Since the grid size is necessarily positive, all tetrahedra