diff options
| author | Alberto Ruiz <aruiz@um.es> | 2010-02-07 09:29:50 +0000 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2010-02-07 09:29:50 +0000 |
| commit | aef0333b5180ea79e539bd53194f1dfed20b7db5 (patch) | |
| tree | 6ece2434ecacab194331120bd47d09ab04ae0f4f /lib/Numeric/LinearAlgebra/Tests | |
| parent | 634683fcfab73a0bd830fef03fb9f4603ba837b6 (diff) | |
added odeSolve
Diffstat (limited to 'lib/Numeric/LinearAlgebra/Tests')
| -rw-r--r-- | lib/Numeric/LinearAlgebra/Tests/Properties.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Numeric/LinearAlgebra/Tests/Properties.hs b/lib/Numeric/LinearAlgebra/Tests/Properties.hs index 405ce64..42c6ce2 100644 --- a/lib/Numeric/LinearAlgebra/Tests/Properties.hs +++ b/lib/Numeric/LinearAlgebra/Tests/Properties.hs | |||
| @@ -148,7 +148,7 @@ svdProp4 m' = m |~| u <> real (diag s) <> trans v | |||
| 148 | && orthonormal u && orthonormal v | 148 | && orthonormal u && orthonormal v |
| 149 | && (dim s == r || r == 0 && dim s == 1) | 149 | && (dim s == r || r == 0 && dim s == 1) |
| 150 | where (u,s,v) = compactSVD m | 150 | where (u,s,v) = compactSVD m |
| 151 | m = m' <-> m' | 151 | m = fromBlocks [[m'],[m']] |
| 152 | r = rank m' | 152 | r = rank m' |
| 153 | 153 | ||
| 154 | svdProp5a m = and (map (s1|~|) [s2,s3,s4,s5,s6]) where | 154 | svdProp5a m = and (map (s1|~|) [s2,s3,s4,s5,s6]) where |