Data.Matrix.Static.LinearAlgebra

Documentation

class Arithmetic (mat1 :: MatrixKind) (mat2 :: MatrixKind) (mat3 :: MatrixKind) | mat1 mat2 -> mat3 where

Methods

(%*%) :: (Numeric a, SingI n, SingI m) => mat1 n p Vector a -> mat2 p m Vector a -> mat3 n m Vector a infixr 8

Instances

Arithmetic Matrix Matrix Matrix

Defined in Data.Matrix.Static.LinearAlgebra

Methods

(%*%) :: (Numeric a, SingI n, SingI m) => Matrix n p Vector a -> Matrix p m Vector a -> Matrix n m Vector a

Arithmetic Matrix SparseMatrix Matrix

Defined in Data.Matrix.Static.LinearAlgebra

Methods

(%*%) :: (Numeric a, SingI n, SingI m) => Matrix n p Vector a -> SparseMatrix p m Vector a -> Matrix n m Vector a

Arithmetic SparseMatrix Matrix Matrix

Defined in Data.Matrix.Static.LinearAlgebra

Methods

(%*%) :: (Numeric a, SingI n, SingI m) => SparseMatrix n p Vector a -> Matrix p m Vector a -> Matrix n m Vector a

Arithmetic SparseMatrix SparseMatrix SparseMatrix

Defined in Data.Matrix.Static.LinearAlgebra

Methods

(%*%) :: (Numeric a, SingI n, SingI m) => SparseMatrix n p Vector a -> SparseMatrix p m Vector a -> SparseMatrix n m Vector a

class Factorization mat where

Methods

eigs :: (SingI k, SingI n, k <= (n - 2)) => Sing k -> mat n n Vector Double -> (Matrix k 1 (Complex Double), Matrix n k (Complex Double))

Eigenvalues (not ordered) and eigenvectors (as columns) of a general square matrix.

cholesky :: (Numeric a, SingI n) => mat n n Vector a -> mat n n Vector a

Cholesky decomposition

Instances

Factorization Matrix

Defined in Data.Matrix.Static.LinearAlgebra

Methods

eigs :: (SingI k, SingI n, k <= (n - 2)) => Sing k -> Matrix n n Vector Double -> (Matrix0 k 1 (Complex Double), Matrix0 n k (Complex Double))

cholesky :: (Numeric a, SingI n) => Matrix n n Vector a -> Matrix n n Vector a

Factorization SparseMatrix

Defined in Data.Matrix.Static.LinearAlgebra

Methods

eigs :: (SingI k, SingI n, k <= (n - 2)) => Sing k -> SparseMatrix n n Vector Double -> (Matrix k 1 (Complex Double), Matrix n k (Complex Double))

cholesky :: (Numeric a, SingI n) => SparseMatrix n n Vector a -> SparseMatrix n n Vector a

inverse :: (SingI n, Numeric a) => Matrix n n a -> Matrix n n a

module Data.Matrix.Static.LinearAlgebra.Types