$ Tetrahedron.fv (tetrahedron0 c)
-tetrahedrons :: Cube -> [Tetrahedron]
-tetrahedrons c =
+tetrahedra :: Cube -> [Tetrahedron]
+tetrahedra c =
[tetrahedron0 c,
tetrahedron1 c,
tetrahedron2 c,
filter contains_our_point all_tetrahedra
where
contains_our_point = flip contains_point p
- all_tetrahedra = tetrahedrons c
+ all_tetrahedra = tetrahedra c