From 192ac5f4b98517862c37ecf161505396ad223cd8 Mon Sep 17 00:00:00 2001
From: Alberto Ruiz <aruiz@um.es>
Date: Thu, 2 Oct 2008 15:53:10 +0000
Subject: alternative multiply versions

---
 lib/Numeric/LinearAlgebra/Tests/Properties.hs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'lib/Numeric/LinearAlgebra/Tests/Properties.hs')

diff --git a/lib/Numeric/LinearAlgebra/Tests/Properties.hs b/lib/Numeric/LinearAlgebra/Tests/Properties.hs
index 55e9a1b..5663b86 100644
--- a/lib/Numeric/LinearAlgebra/Tests/Properties.hs
+++ b/lib/Numeric/LinearAlgebra/Tests/Properties.hs
@@ -34,7 +34,8 @@ module Numeric.LinearAlgebra.Tests.Properties (
     hessProp,
     schurProp1, schurProp2,
     cholProp,
-    expmDiagProp
+    expmDiagProp,
+    multProp1, multProp2
 ) where
 
 import Numeric.LinearAlgebra
@@ -151,3 +152,6 @@ cholProp m = m |~| ctrans c <> c && upperTriang c
 expmDiagProp m = expm (logm m) :~ 7 ~: complex m
     where logm m = matFunc log m
 
+multProp1 (a,b) = a <> b |~| mulH a b
+
+multProp2 (a,b) = trans (a <> b) |~| trans b <> trans a
-- 
cgit v1.2.3