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 (
     nullspaceProp,
     svdProp1, svdProp1a, svdProp2, svdProp3, svdProp4,
     svdProp5a, svdProp5b, svdProp6a, svdProp6b, svdProp7,
-    eigProp, eigSHProp,
+    eigProp, eigSHProp, eigProp2, eigSHProp2,
     qrProp,
     hessProp,
     schurProp1, schurProp2,
@@ -192,6 +192,12 @@ eigSHProp m = m <> v |~| v <> real (diag s)
               && m |~| v <> real (diag s) <> ctrans v
     where (s, v) = eigSH m
 
+eigProp2 m = fst (eig m) |~| eigenvalues m
+
+eigSHProp2 m = fst (eigSH m) |~| eigenvaluesSH m
+
+------------------------------------------------------------------
+
 qrProp m = q <> r |~| m && unitary q && upperTriang r
     where (q,r) = qr m