X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FTests%2FCube.hs;h=5485046ec46b934cc423bb9dedb0054eab9d289b;hb=01925d099b231a128f6bd51abd61bf9ff9c424b6;hp=9c21311c43cbf64ecd52b3df73a07518bcba5444;hpb=e4cbb5f1f1fea88fde8db9eaba0d90829e9ab497;p=spline3.git diff --git a/src/Tests/Cube.hs b/src/Tests/Cube.hs index 9c21311..5485046 100644 --- a/src/Tests/Cube.hs +++ b/src/Tests/Cube.hs @@ -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