- (<#) : Num a =>
a ->
Vect n
a ->
Vect n
a
Scale a numeric vector by a scalar
- Fixity
- Left associative, precedence 5
- (<#>) : Num a =>
a ->
Matrix n
m
a ->
Matrix n
m
a
Scale matrix by a scalar
- Fixity
- Left associative, precedence 5
- (<&>) : Num a =>
Matrix h1
w1
a ->
Matrix h2
w2
a ->
Matrix (h1 *
h2)
(w1 *
w2)
a
Tensor multiply (⊗) for numeric matrices
- Fixity
- Left associative, precedence 7
- (</>) : Num a =>
Matrix n
m
a ->
Vect m
a ->
Vect n
a
Matrix times a column vector
- Fixity
- Left associative, precedence 3
- (<:>) : Num a =>
Vect n
a ->
Vect n
a ->
a
Inner product of ring vectors
- Fixity
- Left associative, precedence 2
- (<<>>) : Neg a =>
Matrix n
n
a ->
Matrix n
n
a ->
Matrix n
n
a
Matrix commutator
- Fixity
- Left associative, precedence 2
- (<>) : Num a =>
Matrix n
k
a ->
Matrix k
m
a ->
Matrix n
m
a
Matrix multiplication
- Fixity
- Left associative, precedence 5
- (<\>) : Num a =>
Vect n
a ->
Matrix n
m
a ->
Vect m
a
Matrix times a row vector
- Fixity
- Left associative, precedence 3
- (><) : Num a =>
Vect n
a ->
Vect m
a ->
Matrix n
m
a
Outer product between numeric vectors
- Fixity
- Left associative, precedence 2
- (>><<) : Num a =>
Matrix n
n
a ->
Matrix n
n
a ->
Matrix n
n
a
Matrix anti-commutator
- Fixity
- Left associative, precedence 2
- Id : Num a =>
Matrix d
d
a
Identity matrix
- (\&\) : Num a =>
Vect n
a ->
Vect m
a ->
Vect (n *
m)
a
Tensor multiply (⊗) numeric vectors
- Fixity
- Left associative, precedence 7
- altSum : Neg a =>
Vect n
a ->
a
Alternating sum
- basis : Num a =>
Fin d ->
Vect d
a
Standard basis vector with one nonzero entry, numeric data type and vector-length unfixed
- blockDiag : Num a =>
Matrix n
n
a ->
Matrix m
m
a ->
Matrix (n +
m)
(n +
m)
a
Combine two matrices to make a new matrix in block diagonal form
- det : Neg a =>
Matrix (S (S n))
(S (S n))
a ->
a
Determinant of a square matrix
- det2 : Neg a =>
Matrix (fromInteger 2)
(fromInteger 2)
a ->
a
Determinant of a 2-by-2 matrix
- diag_ : Num a =>
Vect n
a ->
Matrix n
n
a
Square matrix from diagonal elements