X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FCube.hs;h=26b513d5983d0f5784375c29246a980db450b9fb;hb=1fbb737e99c620f9ca3acd7d8a455ae57ca45130;hp=8f22266049538cc697d3c0cbd83eb492654f28d3;hpb=c8ec035a77f871e4deaa976ed6f3a65a32c07048;p=spline3.git

diff --git a/src/Cube.hs b/src/Cube.hs
index 8f22266..26b513d 100644
--- a/src/Cube.hs
+++ b/src/Cube.hs
@@ -701,7 +701,7 @@ prop_v0_all_equal cube = (v0 t0) == (v0 t1)
 
 
 -- | Given in Sorokina and Zeilfelder, p. 79, (2.6). Note that the
---   third and fourth indices of c-t1 have been switched. This is
+--   third and fourth indices of c-t3 have been switched. This is
 --   because we store the triangles oriented such that their volume is
 --   positive. If T and T-tilde share \<v0,v1,v2\> and v3,v3-tilde point
 --   in opposite directions, one of them has to have negative volume!
@@ -750,8 +750,8 @@ prop_c0120_identity5 cube =
       t4 = tetrahedron cube 4
       t5 = tetrahedron cube 5
 
--- -- | Given in Sorokina and Zeilfelder, p. 79, (2.6). Repeats
--- --   'prop_c0120_identity1' with tetrahedrons 5 and 6.
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.6). Repeats
+--   'prop_c0120_identity1' with tetrahedrons 5 and 6.
 prop_c0120_identity6 :: Cube -> Bool
 prop_c0120_identity6 cube =
    c t6 0 1 2 0 ~= (c t6 0 0 2 1 + c t5 0 0 1 2) / 2
@@ -760,8 +760,8 @@ prop_c0120_identity6 cube =
        t6 = tetrahedron cube 6
 
 
--- -- | Given in Sorokina and Zeilfelder, p. 79, (2.6). Repeats
--- --   'prop_c0120_identity1' with tetrahedrons 6 and 7.
+-- | Given in Sorokina and Zeilfelder, p. 79, (2.6). Repeats
+--   'prop_c0120_identity1' with tetrahedrons 6 and 7.
 prop_c0120_identity7 :: Cube -> Bool
 prop_c0120_identity7 cube =
    c t7 0 1 2 0 ~= (c t7 0 0 2 1 + c t6 0 0 1 2) / 2