{-# OPTIONS_GHC -F -pgmF htfpp #-}
module VectorTests.Matrix4x4 where
import Geometry.Space


import Test.Framework
import VectorTests.VectorGenerators ()



prop_inverse :: Matrix4x4 Double -> Bool
prop_inverse a = (abs (det a) <= 1e-15) ||
    (  (abs (det (prod a (invert a) .- eye)) <= 1e-15)
    && (abs (det (prod (invert a) a .- eye)) <= 1e-15) )
