X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FTests%2FCube.hs;fp=src%2FTests%2FCube.hs;h=78e8e1a82c8a74411880b466c22d9d3007c15538;hb=f6d0c289ad3397cf392976c24f3afdb17da5d377;hp=6d0f864439fca067fd9bf90555c048ebd97b8d14;hpb=19480b63a1835c71b6fd8ecd23c6f0eb915043ae;p=spline3.git diff --git a/src/Tests/Cube.hs b/src/Tests/Cube.hs index 6d0f864..78e8e1a 100644 --- a/src/Tests/Cube.hs +++ b/src/Tests/Cube.hs @@ -16,14 +16,14 @@ import Tetrahedron (b0, b1, b2, b3, c, fv, -- Quickcheck tests. --- | Since the grid size is necessarily positive, all tetrahedrons +-- | Since the grid size is necessarily positive, all tetrahedra -- (which comprise cubes of positive volume) must have positive volume -- as well. prop_all_volumes_positive :: Cube -> Bool prop_all_volumes_positive cube = null nonpositive_volumes where - ts = tetrahedrons cube + ts = tetrahedra cube volumes = map volume ts nonpositive_volumes = filter (<= 0) volumes @@ -248,8 +248,8 @@ prop_tetrahedron23_volumes_exact cube = prop_v0_all_equal :: Cube -> Bool prop_v0_all_equal cube = (v0 t0) == (v0 t1) where - t0 = head (tetrahedrons cube) -- Doesn't matter which two we choose. - t1 = head $ tail (tetrahedrons cube) + t0 = head (tetrahedra cube) -- Doesn't matter which two we choose. + t1 = head $ tail (tetrahedra cube) -- | This pretty much repeats the prop_all_volumes_positive property,