diff options
author | Alberto Ruiz <aruiz@um.es> | 2015-05-26 20:14:56 +0200 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2015-05-26 20:14:56 +0200 |
commit | 9a640d084f3d950e37e054672c9bbbefe4af06d7 (patch) | |
tree | c9016bbf1f28848aeef61aae4c0d6715d188f296 /packages/base/src/Numeric/LinearAlgebra/Static.hs | |
parent | f38aba5c0086e662a9e49043f414d03a0dacb044 (diff) |
tr' , documentation
Diffstat (limited to 'packages/base/src/Numeric/LinearAlgebra/Static.hs')
-rw-r--r-- | packages/base/src/Numeric/LinearAlgebra/Static.hs | 16 |
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 | ||
62 | import GHC.TypeLits | 62 | import GHC.TypeLits |
63 | import Numeric.LinearAlgebra hiding ( | 63 | import 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 | |||
168 | uncol v = unrow . tr $ v | 168 | uncol v = unrow . tr $ v |
169 | 169 | ||
170 | 170 | ||
171 | infixl 2 —— | 171 | infixl 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 |
173 | a —— b = mkL (extract a LA.—— extract b) | 173 | a === b = mkL (extract a LA.=== extract b) |
174 | 174 | ||
175 | 175 | ||
176 | infixl 3 ¦ | 176 | infixl 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) |
178 | a ¦ b = tr (tr a —— tr b) | 178 | a ||| b = tr (tr a === tr b) |
179 | 179 | ||
180 | 180 | ||
181 | type Sq n = L n n | 181 | type Sq n = L n n |