diff options
author | Alberto Ruiz <aruiz@um.es> | 2010-02-20 13:16:14 +0000 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2010-02-20 13:16:14 +0000 |
commit | c9af0b0b468eee25edc60a20419cff0dba0a379a (patch) | |
tree | 982730af88db4764339aaa297ab92a131456cab7 /lib/Numeric/LinearAlgebra/Tests | |
parent | bbf07a5b76cf196007adcfe2bfc954440843ce2f (diff) |
fixed nullspace prop
Diffstat (limited to 'lib/Numeric/LinearAlgebra/Tests')
-rw-r--r-- | lib/Numeric/LinearAlgebra/Tests/Properties.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Numeric/LinearAlgebra/Tests/Properties.hs b/lib/Numeric/LinearAlgebra/Tests/Properties.hs index 42c6ce2..93175f2 100644 --- a/lib/Numeric/LinearAlgebra/Tests/Properties.hs +++ b/lib/Numeric/LinearAlgebra/Tests/Properties.hs | |||
@@ -119,7 +119,8 @@ detProp m = s d1 |~| s d2 | |||
119 | (q,r) = qr m | 119 | (q,r) = qr m |
120 | s x = fromList [x] | 120 | s x = fromList [x] |
121 | 121 | ||
122 | nullspaceProp m = null nl `trivial` (null nl || m <> n |~| zeros (r,c)) | 122 | nullspaceProp m = null nl `trivial` (null nl || m <> n |~| zeros (r,c) |
123 | && orthonormal (fromColumns nl)) | ||
123 | where nl = nullspacePrec 1 m | 124 | where nl = nullspacePrec 1 m |
124 | n = fromColumns nl | 125 | n = fromColumns nl |
125 | r = rows m | 126 | r = rows m |