diff options
-rw-r--r-- | lib/Numeric/LinearAlgebra/Tests/Properties.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Numeric/LinearAlgebra/Tests/Properties.hs b/lib/Numeric/LinearAlgebra/Tests/Properties.hs index a35f591..b5f0501 100644 --- a/lib/Numeric/LinearAlgebra/Tests/Properties.hs +++ b/lib/Numeric/LinearAlgebra/Tests/Properties.hs | |||
@@ -159,7 +159,7 @@ svdProp4 m' = m |~| u <> real (diag s) <> trans v | |||
159 | m = fromBlocks [[m'],[m']] | 159 | m = fromBlocks [[m'],[m']] |
160 | r = rank m' | 160 | r = rank m' |
161 | 161 | ||
162 | svdProp5a m = and (map (s1|~|) [s2,s3,s4,s5,s6]) where | 162 | svdProp5a m = all (s1|~|) [s2,s3,s4,s5,s6] where |
163 | s1 = svR m | 163 | s1 = svR m |
164 | s2 = svRd m | 164 | s2 = svRd m |
165 | (_,s3,_) = svdR m | 165 | (_,s3,_) = svdR m |
@@ -167,7 +167,7 @@ svdProp5a m = and (map (s1|~|) [s2,s3,s4,s5,s6]) where | |||
167 | (_,s5,_) = thinSVDR m | 167 | (_,s5,_) = thinSVDR m |
168 | (_,s6,_) = thinSVDRd m | 168 | (_,s6,_) = thinSVDRd m |
169 | 169 | ||
170 | svdProp5b m = and (map (s1|~|) [s2,s3,s4,s5,s6]) where | 170 | svdProp5b m = all (s1|~|) [s2,s3,s4,s5,s6] where |
171 | s1 = svC m | 171 | s1 = svC m |
172 | s2 = svCd m | 172 | s2 = svCd m |
173 | (_,s3,_) = svdC m | 173 | (_,s3,_) = svdC m |