From 1fbb737e99c620f9ca3acd7d8a455ae57ca45130 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 29 Sep 2011 15:55:17 -0400 Subject: [PATCH] Fix some documentation. --- src/Cube.hs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) 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 \ 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 -- 2.43.2