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 | |
| parent | bbf07a5b76cf196007adcfe2bfc954440843ce2f (diff) | |
fixed nullspace prop
Diffstat (limited to 'lib/Numeric/LinearAlgebra')
| -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 |