summaryrefslogtreecommitdiff
path: root/packages/base/src/Numeric/LinearAlgebra/Static.hs
diff options
context:
space:
mode:
authorAlberto Ruiz <aruiz@um.es>2015-05-26 20:14:56 +0200
committerAlberto Ruiz <aruiz@um.es>2015-05-26 20:14:56 +0200
commit9a640d084f3d950e37e054672c9bbbefe4af06d7 (patch)
treec9016bbf1f28848aeef61aae4c0d6715d188f296 /packages/base/src/Numeric/LinearAlgebra/Static.hs
parentf38aba5c0086e662a9e49043f414d03a0dacb044 (diff)
tr' , documentation
Diffstat (limited to 'packages/base/src/Numeric/LinearAlgebra/Static.hs')
-rw-r--r--packages/base/src/Numeric/LinearAlgebra/Static.hs16
1 files changed, 8 insertions, 8 deletions
diff --git a/packages/base/src/Numeric/LinearAlgebra/Static.hs b/packages/base/src/Numeric/LinearAlgebra/Static.hs
index f7017e7..49327f2 100644
--- a/packages/base/src/Numeric/LinearAlgebra/Static.hs
+++ b/packages/base/src/Numeric/LinearAlgebra/Static.hs
@@ -34,7 +34,7 @@ module Numeric.LinearAlgebra.Static(
34 linspace, range, dim, 34 linspace, range, dim,
35 -- * Matrix 35 -- * Matrix
36 L, Sq, build, 36 L, Sq, build,
37 row, col, (¦),(——), splitRows, splitCols, 37 row, col, (|||),(===), splitRows, splitCols,
38 unrow, uncol, 38 unrow, uncol,
39 tr, 39 tr,
40 eye, 40 eye,
@@ -61,7 +61,7 @@ module Numeric.LinearAlgebra.Static(
61 61
62import GHC.TypeLits 62import GHC.TypeLits
63import Numeric.LinearAlgebra hiding ( 63import Numeric.LinearAlgebra hiding (
64 (<>),(#>),(<·>),Konst(..),diag, disp,(¦),(——), 64 (<>),(#>),(<·>),Konst(..),diag, disp,(===),(|||),
65 row,col,vector,matrix,linspace,toRows,toColumns, 65 row,col,vector,matrix,linspace,toRows,toColumns,
66 (<\>),fromList,takeDiag,svd,eig,eigSH,eigSH', 66 (<\>),fromList,takeDiag,svd,eig,eigSH,eigSH',
67 eigenvalues,eigenvaluesSH,eigenvaluesSH',build, 67 eigenvalues,eigenvaluesSH,eigenvaluesSH',build,
@@ -168,14 +168,14 @@ unrow = mkR . head . LA.toRows . ud2
168uncol v = unrow . tr $ v 168uncol v = unrow . tr $ v
169 169
170 170
171infixl 2 —— 171infixl 2 ===
172(——) :: (KnownNat r1, KnownNat r2, KnownNat c) => L r1 c -> L r2 c -> L (r1+r2) c 172(===) :: (KnownNat r1, KnownNat r2, KnownNat c) => L r1 c -> L r2 c -> L (r1+r2) c
173a —— b = mkL (extract a LA.—— extract b) 173a === b = mkL (extract a LA.=== extract b)
174 174
175 175
176infixl 3 ¦ 176infixl 3 |||
177-- (¦) :: (KnownNat r, KnownNat c1, KnownNat c2) => L r c1 -> L r c2 -> L r (c1+c2) 177-- (|||) :: (KnownNat r, KnownNat c1, KnownNat c2) => L r c1 -> L r c2 -> L r (c1+c2)
178a ¦ b = tr (tr a —— tr b) 178a ||| b = tr (tr a === tr b)
179 179
180 180
181type Sq n = L n n 181type Sq n = L n n