v0 :: Point,
v1 :: Point,
v2 :: Point,
- v3 :: Point }
+ v3 :: Point,
+ precomputed_volume :: Double }
deriving (Eq)
rnd_v2 <- arbitrary :: Gen Point
rnd_v3 <- arbitrary :: Gen Point
rnd_fv <- arbitrary :: Gen FunctionValues
- return (Tetrahedron rnd_fv rnd_v0 rnd_v1 rnd_v2 rnd_v3)
+ rnd_vol <- arbitrary :: Gen Double
+ return (Tetrahedron rnd_fv rnd_v0 rnd_v1 rnd_v2 rnd_v3 rnd_vol)
instance Show Tetrahedron where