SquareMatrix

A module for Square Matrix

Types

= SquareMatrix (Matrix a)

Square Matrix type

{ matrixSpace : MatrixSpace a

, innerProduct : Matrix a -> Matrix a -> Result String Float

, norm : Matrix a -> Result String Float

, distance : Matrix a -> Matrix a -> Result String Float

}

Type to represent an Inner Product Space

Create square Matrix with n dimension filled with zeros

Real Numbered Inner Product Space for Matrix

Predicate to determine if Matrix is symmetric

Dimension of the matrix

Determine whether a matirx is square

normReal : Matrix Float -> Result String Float

Calculate the norm of a Matrix

normComplex : Matrix (ComplexNumber Float) -> Result String Float

Calculate the norm of a Matrix

distanceReal : Matrix Float -> Matrix Float -> Result String Float

Calculate distance between two vectors

Predicate if matrix is right stochastic

Predicate if matrix is left stochastic

dotProduct : InnerProductSpace a -> Matrix a -> Matrix a -> Result String a

Calculate the dot product of two Matricies

getAt : ( Int, Int ) -> SquareMatrix a -> Maybe a

Get the value in a matrix at the specified row and column