summaryrefslogtreecommitdiff
path: root/examples/tests.hs
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2007-06-13 16:35:02 +0000
committerAlberto Ruiz <aruiz@um.es>2007-06-13 16:35:02 +0000
commit713d4056abb2e786b4084e7e220d359b06dcaf1f (patch)
tree4535b87da8756ca89f07e46181891df2b90406dc /examples/tests.hs
parent8c5be977858723aac8b8f47f57ce98d82fe249b4 (diff)
refactoring
Diffstat (limited to 'examples/tests.hs')
-rw-r--r--examples/tests.hs20
1 files changed, 5 insertions, 15 deletions
diff --git a/examples/tests.hs b/examples/tests.hs
index b075704..9f0ae2a 100644
--- a/examples/tests.hs
+++ b/examples/tests.hs
@@ -4,7 +4,9 @@
4 4
5----------------------------------------------------------------------------- 5-----------------------------------------------------------------------------
6 6
7import Data.Packed.Internal.Vector 7import Data.Packed.Internal
8import Data.Packed.Vector
9import Data.Packed.Matrix
8import Data.Packed.Internal.Matrix 10import Data.Packed.Internal.Matrix
9import LAPACK 11import LAPACK
10import Test.QuickCheck 12import Test.QuickCheck
@@ -31,18 +33,6 @@ nullspaceProp tol m = cr > 0 ==> m <> nt ~~ zeros
31 33
32-} 34-}
33 35
34r >< c = f where
35 f l | dim v == r*c = matrixFromVector RowMajor c v
36 | otherwise = error $ "inconsistent list size = "
37 ++show (dim v) ++"in ("++show r++"><"++show c++")"
38 where v = fromList l
39
40r >|< c = f where
41 f l | dim v == r*c = matrixFromVector ColumnMajor c v
42 | otherwise = error $ "inconsistent list size = "
43 ++show (dim v) ++"in ("++show r++"><"++show c++")"
44 where v = fromList l
45
46ac = (2><3) [1 .. 6::Double] 36ac = (2><3) [1 .. 6::Double]
47bc = (3><4) [7 .. 18::Double] 37bc = (3><4) [7 .. 18::Double]
48 38
@@ -82,8 +72,8 @@ cf = mulF af bc
82r = mulC cc (trans cf) 72r = mulC cc (trans cf)
83 73
84rd = (2><2) 74rd = (2><2)
85 [ 43492.0, 50572.0 75 [ 27736.0, 65356.0
86 , 102550.0, 119242.0 :: Double] 76 , 65356.0, 154006.0 ::Double]
87 77
88instance (Arbitrary a, RealFloat a) => Arbitrary (Complex a) where 78instance (Arbitrary a, RealFloat a) => Arbitrary (Complex a) where
89 arbitrary = do 79 arbitrary = do