import Test.Tasty ( TestTree, testGroup )
import Test.Tasty.HUnit ( Assertion, assertEqual, testCase )
import Test.Tasty.QuickCheck (
import Test.Tasty ( TestTree, testGroup )
import Test.Tasty.HUnit ( Assertion, assertEqual, testCase )
import Test.Tasty.QuickCheck (
tetrahedron )
import Examples ( trilinear, trilinear9x9x9, zeros )
import FunctionValues ( make_values, value_at )
tetrahedron )
import Examples ( trilinear, trilinear9x9x9, zeros )
import FunctionValues ( make_values, value_at )
import ScaleFactor ( ScaleFactor )
import Tetrahedron (
Tetrahedron( v0, v1, v2, v3 ),
import ScaleFactor ( ScaleFactor )
import Tetrahedron (
Tetrahedron( v0, v1, v2, v3 ),