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 | |
parent | bbf07a5b76cf196007adcfe2bfc954440843ce2f (diff) |
fixed nullspace prop
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Numeric/GSL/ODE.hs | 2 | ||||
-rw-r--r-- | lib/Numeric/LinearAlgebra/Tests/Properties.hs | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/lib/Numeric/GSL/ODE.hs b/lib/Numeric/GSL/ODE.hs index 7c711b7..9d890fc 100644 --- a/lib/Numeric/GSL/ODE.hs +++ b/lib/Numeric/GSL/ODE.hs | |||
@@ -108,4 +108,4 @@ checkdim2 n m | |||
108 | 108 | ||
109 | checkTimes ts | dim ts > 1 && all (>0) (zipWith subtract ts' (tail ts')) = ts | 109 | checkTimes ts | dim ts > 1 && all (>0) (zipWith subtract ts' (tail ts')) = ts |
110 | | otherwise = error "odeSolve requires increasing times" | 110 | | otherwise = error "odeSolve requires increasing times" |
111 | where ts' = toList ts \ No newline at end of file | 111 | where ts' = toList ts |
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 |