summaryrefslogtreecommitdiff
path: root/lib/Numeric/LinearAlgebra/Tests/Properties.hs
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2009-12-28 17:59:18 +0000
committerAlberto Ruiz <aruiz@um.es>2009-12-28 17:59:18 +0000
commit3d15dffe52629fd621ad548b671c3043caefb0d0 (patch)
tree63fed8084a74482b74199cc3ec91136aa110c79e /lib/Numeric/LinearAlgebra/Tests/Properties.hs
parentb2715e91d7aef5cee1b64b641b8f173167a7145a (diff)
additional eig functions
Diffstat (limited to 'lib/Numeric/LinearAlgebra/Tests/Properties.hs')
-rw-r--r--lib/Numeric/LinearAlgebra/Tests/Properties.hs8
1 files changed, 7 insertions, 1 deletions
diff --git a/lib/Numeric/LinearAlgebra/Tests/Properties.hs b/lib/Numeric/LinearAlgebra/Tests/Properties.hs
index d4dff34..7bb914f 100644
--- a/lib/Numeric/LinearAlgebra/Tests/Properties.hs
+++ b/lib/Numeric/LinearAlgebra/Tests/Properties.hs
@@ -31,7 +31,7 @@ module Numeric.LinearAlgebra.Tests.Properties (
31 nullspaceProp, 31 nullspaceProp,
32 svdProp1, svdProp1a, svdProp2, svdProp3, svdProp4, 32 svdProp1, svdProp1a, svdProp2, svdProp3, svdProp4,
33 svdProp5a, svdProp5b, svdProp6a, svdProp6b, svdProp7, 33 svdProp5a, svdProp5b, svdProp6a, svdProp6b, svdProp7,
34 eigProp, eigSHProp, 34 eigProp, eigSHProp, eigProp2, eigSHProp2,
35 qrProp, 35 qrProp,
36 hessProp, 36 hessProp,
37 schurProp1, schurProp2, 37 schurProp1, schurProp2,
@@ -192,6 +192,12 @@ eigSHProp m = m <> v |~| v <> real (diag s)
192 && m |~| v <> real (diag s) <> ctrans v 192 && m |~| v <> real (diag s) <> ctrans v
193 where (s, v) = eigSH m 193 where (s, v) = eigSH m
194 194
195eigProp2 m = fst (eig m) |~| eigenvalues m
196
197eigSHProp2 m = fst (eigSH m) |~| eigenvaluesSH m
198
199------------------------------------------------------------------
200
195qrProp m = q <> r |~| m && unitary q && upperTriang r 201qrProp m = q <> r |~| m && unitary q && upperTriang r
196 where (q,r) = qr m 202 where (q,r) = qr m
197 203