summaryrefslogtreecommitdiff
path: root/lib/Numeric/LinearAlgebra/Tests/Properties.hs
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2008-10-27 13:03:41 +0000
committerAlberto Ruiz <aruiz@um.es>2008-10-27 13:03:41 +0000
commitedf12982f21c56c21bfc21eb2b2fcbc406838130 (patch)
tree4f9463ceccc49dc5b9dfdf77b16dccef9bc8d3e5 /lib/Numeric/LinearAlgebra/Tests/Properties.hs
parentd8639b28ec9e83b54b45c987508d270d5469451c (diff)
added luSolve
Diffstat (limited to 'lib/Numeric/LinearAlgebra/Tests/Properties.hs')
-rw-r--r--lib/Numeric/LinearAlgebra/Tests/Properties.hs7
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/Numeric/LinearAlgebra/Tests/Properties.hs b/lib/Numeric/LinearAlgebra/Tests/Properties.hs
index b5321c2..45b03a2 100644
--- a/lib/Numeric/LinearAlgebra/Tests/Properties.hs
+++ b/lib/Numeric/LinearAlgebra/Tests/Properties.hs
@@ -35,7 +35,8 @@ module Numeric.LinearAlgebra.Tests.Properties (
35 schurProp1, schurProp2, 35 schurProp1, schurProp2,
36 cholProp, 36 cholProp,
37 expmDiagProp, 37 expmDiagProp,
38 multProp1, multProp2 38 multProp1, multProp2,
39 linearSolveProp
39) where 40) where
40 41
41import Numeric.LinearAlgebra 42import Numeric.LinearAlgebra
@@ -153,4 +154,6 @@ expmDiagProp m = expm (logm m) :~ 7 ~: complex m
153 154
154multProp1 (a,b) = a <> b |~| mulH a b 155multProp1 (a,b) = a <> b |~| mulH a b
155 156
156multProp2 (a,b) = trans (a <> b) |~| trans b <> trans a 157multProp2 (a,b) = ctrans (a <> b) |~| ctrans b <> ctrans a
158
159linearSolveProp f m = f m m |~| ident (rows m)