summaryrefslogtreecommitdiff
path: root/lib/Numeric/LinearAlgebra/Tests/Properties.hs
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Numeric/LinearAlgebra/Tests/Properties.hs')
-rw-r--r--lib/Numeric/LinearAlgebra/Tests/Properties.hs14
1 files changed, 9 insertions, 5 deletions
diff --git a/lib/Numeric/LinearAlgebra/Tests/Properties.hs b/lib/Numeric/LinearAlgebra/Tests/Properties.hs
index ad31454..6686b97 100644
--- a/lib/Numeric/LinearAlgebra/Tests/Properties.hs
+++ b/lib/Numeric/LinearAlgebra/Tests/Properties.hs
@@ -34,12 +34,12 @@ dist a b = r
34 else nab/mx 34 else nab/mx
35 35
36infixl 4 |~| 36infixl 4 |~|
37--a |~| b = a :~10~: b 37a |~| b = a :~10~: b
38a |~| b = dist a b < 10^^(-10) 38--a |~| b = dist a b < 10^^(-10)
39 39
40--data Aprox a = (:~) a Int 40data Aprox a = (:~) a Int
41--(~:) :: (Normed a, Num a) => Aprox a -> a -> Bool 41(~:) :: (Normed a, Num a) => Aprox a -> a -> Bool
42--a :~n~: b = dist a b < 10^^(-n) 42a :~n~: b = dist a b < 10^^(-n)
43 43
44------------------------------------------------------ 44------------------------------------------------------
45 45
@@ -48,3 +48,7 @@ square m = rows m == cols m
48unitary m = square m && m <> ctrans m |~| ident (rows m) 48unitary m = square m && m <> ctrans m |~| ident (rows m)
49 49
50hermitian m = square m && m |~| ctrans m 50hermitian m = square m && m |~| ctrans m
51
52degenerate m = rank m < min (rows m) (cols m)
53
54wellCond m = rcond m > 1/100