diff options
| author | Alberto Ruiz <aruiz@um.es> | 2010-04-23 19:37:56 +0000 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2010-04-23 19:37:56 +0000 |
| commit | 0ce6e74a5375b8d7ee1d95826252d8ff622f2cb4 (patch) | |
| tree | cab666c674543adf0908ea5bc42ec9e9d35a9ea1 /lib/Numeric/LinearAlgebra/Tests/Properties.hs | |
| parent | f7cbac4bb8d8fc1c4210a548674c222b691f8e9c (diff) | |
app5-10, some SCC, and other minor changes
Diffstat (limited to 'lib/Numeric/LinearAlgebra/Tests/Properties.hs')
| -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 618094b..d29e19a 100644 --- a/lib/Numeric/LinearAlgebra/Tests/Properties.hs +++ b/lib/Numeric/LinearAlgebra/Tests/Properties.hs | |||
| @@ -185,7 +185,7 @@ svdProp6b m = s |~| s' && v |~| v' && s |~| s'' && u |~| u' | |||
| 185 | svdProp7 m = s |~| s' && u |~| u' && v |~| v' && s |~| s''' | 185 | svdProp7 m = s |~| s' && u |~| u' && v |~| v' && s |~| s''' |
| 186 | where (u,s,v) = svd m | 186 | where (u,s,v) = svd m |
| 187 | (s',v') = rightSV m | 187 | (s',v') = rightSV m |
| 188 | (u',s'') = leftSV m | 188 | (u',_s'') = leftSV m |
| 189 | s''' = singularValues m | 189 | s''' = singularValues m |
| 190 | 190 | ||
| 191 | ------------------------------------------------------------------ | 191 | ------------------------------------------------------------------ |