Numeric.Matrix

Documentation

class MatrixCalculus t n m where

Minimal complete definition

transpose

Methods

transpose :: (MatrixCalculus t m n, PrimBytes (Matrix t m n)) => Matrix t n m -> Matrix t m n

Transpose Mat

class SquareMatrixCalculus t n where

Minimal complete definition

eye, diag, det, trace

Methods

eye :: Matrix t n n

Mat with 1 on diagonal and 0 elsewhere

diag :: Scalar t -> Matrix t n n

Put the same value on the Mat diagonal, 0 otherwise

det :: Matrix t n n -> t

Determinant of Mat

trace :: Matrix t n n -> Scalar t

Sum of diagonal elements

class MatrixInverse t n where

Minimal complete definition

inverse

Methods

inverse :: DataFrame t '[n, n] -> DataFrame t '[n, n]

Matrix inverse

type Matrix t n m = DataFrame t '[n, m]

Alias for DataFrames of rank 2

type Mat22f = Matrix Float 2 2

type Mat23f = Matrix Float 2 3

type Mat24f = Matrix Float 2 4

type Mat32f = Matrix Float 3 2

type Mat33f = Matrix Float 3 3

type Mat34f = Matrix Float 3 4

type Mat42f = Matrix Float 4 2

type Mat43f = Matrix Float 4 3

type Mat44f = Matrix Float 4 4

mat22 :: (PrimBytes (Vector t 2), PrimBytes (Matrix t 2 2)) => Vector t 2 -> Vector t 2 -> Matrix t 2 2

Compose a 2x2D matrix

mat33 :: (PrimBytes t, PrimBytes (Vector t 3), PrimBytes (Matrix t 3 3)) => Vector t 3 -> Vector t 3 -> Vector t 3 -> Matrix t 3 3

Compose a 3x3D matrix

mat44 :: forall t. (PrimBytes t, PrimBytes (Vector t (4 :: Nat)), PrimBytes (Matrix t (4 :: Nat) (4 :: Nat))) => Vector t (4 :: Nat) -> Vector t (4 :: Nat) -> Vector t (4 :: Nat) -> Vector t (4 :: Nat) -> Matrix t (4 :: Nat) (4 :: Nat)

Compose a 4x4D matrix

(%*) :: (ConcatList as bs (as ++ bs), Contraction t as bs asbs, KnownDim m, PrimBytes (DataFrame t (as +: m)), PrimBytes (DataFrame t (m :+ bs)), PrimBytes (DataFrame t (as ++ bs))) => DataFrame t (as +: m) -> DataFrame t (m :+ bs) -> DataFrame t (as ++ bs) infixl 7

Tensor contraction. In particular: 1. matrix-matrix product 2. matrix-vector or vector-matrix product 3. dot product of two vectors.