v1' = center (back_face c)
v2' = Face.v0 (back_face c)
v3' = Face.v1 (back_face c)
- fv' = rotate cwy $ rotate cwy $ (Tetrahedron.fv (tetrahedron0 c))
+ fv' = rotate cwy $ rotate cwy $ Tetrahedron.fv (tetrahedron0 c)
tetrahedron9 :: Cube -> Tetrahedron
tetrahedron9 c =
-- | This module just imports the others. Useful in GHCi sessions.
module Everything (
- module Cardinal,
- module Comparisons,
- module Cube,
- module Examples,
- module Face,
- module FunctionValues,
- module Grid,
- module Misc,
- module Point,
- module RealFunction,
- module Tetrahedron,
- module Values
+ module X
)
where
-import Cardinal
-import Comparisons
-import Cube hiding (h)
-import Examples
-import Face hiding (v0,v1,v2,v3)
-import FunctionValues
-import Grid
-import Misc
-import Point
-import RealFunction
-import Tetrahedron hiding (fv)
-import Values
+import Cardinal as X
+import Comparisons as X
+import Cube as X hiding (h)
+import Examples as X
+import Face as X hiding (v0,v1,v2,v3)
+import FunctionValues as X
+import Grid as X
+import Misc as X
+import Point as X
+import RealFunction as X
+import Tetrahedron as X hiding (fv)
+import Values as X
| z <- [0..zsize]]
where
zsize = (length m) - 1
- ysize = (length (m !! 0))- 1
- xsize = (length ((m !! 0) !! 0)) - 1
+ ysize = (length $ head m)- 1
+ xsize = (length $ head $ head m) - 1
-- | Takes a list, and returns True if its elements are pairwise
-- equal. Returns False otherwise.
read_values_1d :: FilePath -> IO Values1D
-read_values_1d path = readVectorFromTextFile path
+read_values_1d = readVectorFromTextFile
read_values_3d :: DIM3 -> FilePath -> IO Values3D