From 8c5be977858723aac8b8f47f57ce98d82fe249b4 Mon Sep 17 00:00:00 2001 From: Alberto Ruiz Date: Wed, 13 Jun 2007 11:10:29 +0000 Subject: rm LAPACK/Internal.hs --- examples/tests.hs | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'examples/tests.hs') diff --git a/examples/tests.hs b/examples/tests.hs index 047794c..b075704 100644 --- a/examples/tests.hs +++ b/examples/tests.hs @@ -159,10 +159,10 @@ addV v1 v2 = fromList $ zipWith (+) (toList v1) (toList v2) type BaseType = Double -svdTestR prod m = u <> s <> trans v |~| m +svdTestR fun prod m = u <> s <> trans v |~| m && u <> trans u |~| ident (rows m) && v <> trans v |~| ident (cols m) - where (u,s,v) = svdR m + where (u,s,v) = fun m (<>) = prod @@ -243,8 +243,10 @@ main = do quickCheck $ \(PairM m1 m2) -> mulC m1 m2 |=| trans (mulF (trans m2) (trans m1 :: Matrix BaseType)) quickCheck $ \(PairM m1 m2) -> mulC m1 m2 |=| multiplyG m1 (m2 :: Matrix BaseType) putStrLn "--------- SVD ---------" - quickCheck (svdTestR mulC) - quickCheck (svdTestR mulF) + quickCheck (svdTestR svdR mulC) + quickCheck (svdTestR svdR mulF) + quickCheck (svdTestR svdRdd mulC) + quickCheck (svdTestR svdRdd mulF) quickCheck (svdTestC mulC) quickCheck (svdTestC mulF) putStrLn "--------- EIG ---------" -- cgit v1.2.3