-import qualified Data.Array.Repa as R
-import Test.HUnit
-import Test.Framework (Test, testGroup)
-import Test.Framework.Providers.HUnit (testCase)
-import Test.Framework.Providers.QuickCheck2 (testProperty)
-import Test.QuickCheck ((==>),
- Arbitrary(..),
- Gen,
- Positive(..),
- Property,
- choose)
-import Assertions
-import Comparisons
-import Cube (Cube(Cube),
- find_containing_tetrahedron,
- tetrahedra,
- tetrahedron)
-import Examples
-import FunctionValues
-import Point (Point)
-import ScaleFactor
-import Tetrahedron (Tetrahedron, c, polynomial, v0, v1, v2, v3)
-import ThreeDimensional
-import Values (Values3D, dims, empty3d, zoom_shape)
+import Data.Array.Repa (
+ (:.)( (:.) ),
+ DIM3,
+ Z( Z ),
+ computeUnboxedP,
+ fromListUnboxed )
+import Data.Array.Repa.Operators.Traversal ( unsafeTraverse )
+import Test.Tasty ( TestTree, testGroup )
+import Test.Tasty.HUnit ( Assertion, assertEqual, testCase )
+import Test.Tasty.QuickCheck (
+ Arbitrary( arbitrary ),
+ Gen,
+ Property,
+ (==>),
+ choose,
+ vectorOf,
+ testProperty )
+
+import Assertions ( assertAlmostEqual, assertTrue )
+import Comparisons ( (~=) )
+import Cube (
+ Cube( Cube ),
+ find_containing_tetrahedron,
+ tetrahedra,
+ tetrahedron )
+import Examples ( trilinear, trilinear9x9x9, zeros )
+import FunctionValues ( make_values, value_at )
+import Point ( Point(Point) )
+import ScaleFactor ( ScaleFactor )
+import Tetrahedron (
+ Tetrahedron( v0, v1, v2, v3 ),
+ c,
+ polynomial )
+import Values ( Values3D, dims, empty3d, zoom_shape )