import FunctionValues (make_values, value_at)
import Point (Point(..))
import ScaleFactor (ScaleFactor)
-import Tetrahedron (Tetrahedron, c, polynomial, v0, v1, v2, v3)
-import ThreeDimensional (ThreeDimensional(..))
+import Tetrahedron (
+ Tetrahedron(v0,v1,v2,v3),
+ c,
+ contains_point,
+ polynomial,
+ )
import Values (Values3D, dims, empty3d, zoom_shape)