6 import Cube (Cube(grid))
7 import Face (tetrahedrons)
9 import Tetrahedron (volume)
12 prop_all_volumes_nonnegative :: Cube -> Property
13 prop_all_volumes_nonnegative c =
14 (delta > 0) ==> (null negative_volumes)
18 volumes = map volume ts
19 negative_volumes = filter (< 0) volumes