summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2008-03-02 12:48:14 +0000
committerAlberto Ruiz <aruiz@um.es>2008-03-02 12:48:14 +0000
commita339794105f1e3849ff4f241088450f552eae7f6 (patch)
tree7cb21ffda8fce287f22d5e8e52a50fc40e2c2805 /lib
parent2c99bcb1de3fae6e2e075316126cc70658e20ac9 (diff)
testing modules ok
Diffstat (limited to 'lib')
-rw-r--r--lib/Numeric/LinearAlgebra/Tests.hs7
-rw-r--r--lib/Numeric/LinearAlgebra/Tests/Properties.hs2
2 files changed, 5 insertions, 4 deletions
diff --git a/lib/Numeric/LinearAlgebra/Tests.hs b/lib/Numeric/LinearAlgebra/Tests.hs
index 96280fb..31ba2ff 100644
--- a/lib/Numeric/LinearAlgebra/Tests.hs
+++ b/lib/Numeric/LinearAlgebra/Tests.hs
@@ -13,8 +13,8 @@ Some tests.
13-} 13-}
14 14
15module Numeric.LinearAlgebra.Tests( 15module Numeric.LinearAlgebra.Tests(
16 module Numeric.LinearAlgebra.Tests.Instances, 16-- module Numeric.LinearAlgebra.Tests.Instances,
17 module Numeric.LinearAlgebra.Tests.Properties, 17-- module Numeric.LinearAlgebra.Tests.Properties,
18 qCheck, runTests 18 qCheck, runTests
19--, runBigTests 19--, runBigTests
20) where 20) where
@@ -116,7 +116,8 @@ rotTest = fun (10^5) :~12~: rot 5E4
116 where angles = toList $ linspace n (0,1) 116 where angles = toList $ linspace n (0,1)
117 117
118 118
119-- | It runs all the tests. 119-- | All tests must pass with a maximum dimension of about 20
120-- (some tests may fail with bigger sizes due to precision loss).
120runTests :: Int -- ^ maximum dimension 121runTests :: Int -- ^ maximum dimension
121 -> IO () 122 -> IO ()
122runTests n = do 123runTests n = do
diff --git a/lib/Numeric/LinearAlgebra/Tests/Properties.hs b/lib/Numeric/LinearAlgebra/Tests/Properties.hs
index 0563e62..566d038 100644
--- a/lib/Numeric/LinearAlgebra/Tests/Properties.hs
+++ b/lib/Numeric/LinearAlgebra/Tests/Properties.hs
@@ -144,6 +144,6 @@ cholProp m = m |~| ctrans c <> c && upperTriang c
144 where c = chol m 144 where c = chol m
145 pos = positiveDefinite m 145 pos = positiveDefinite m
146 146
147expmDiagProp m = expm (logm m) |~| complex m 147expmDiagProp m = expm (logm m) :~ 7 ~: complex m
148 where logm m = matFunc log m 148 where logm m = matFunc log m
149 149