InvertableMatrix

A module for Invertable Matrix

Types

type InvertableMatrix a

= InvertableMatrix (NormalMatrix a)

Invertable Matrix type

Constructors

identity : Field a -> Int -> InvertableMatrix a

Create Square Identity Matrix with n dimension

Matrix Predicates and Properties

determinant : VectorSpace a -> InvertableMatrix a -> Result String a

Try to calculate the determinant

dimension : InvertableMatrix a -> Int

Dimension of the matrix

isInvertable :

InnerProductSpace a

-> NormalMatrix a

-> Result String (NormalMatrix a)

Determine whether a matirx is invertable

Unitary Operations

scalarMultiplication : Field a -> a -> InvertableMatrix a -> InvertableMatrix a

Scalar multiplication over an InvertableMatrix Matrix

Binary Operations

invert :

InnerProductSpace a

-> InvertableMatrix a

-> Result String (InvertableMatrix a)

Try to calculate the inverse of a matrix

add :

Field a

-> InvertableMatrix a

Add two InvertableMatrix together

multiply :

InnerProductSpace a

-> InvertableMatrix a

-> Result String (InvertableMatrix a)

Invertable Matrix Invertable Matrix multiplication

multiplyMatrixVector :

InnerProductSpace a

-> InvertableMatrix a

-> ColumnVector a

-> Result String (ColumnVector a)

Multiply a Vector by a Matrix

Manipulation

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

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

Equality

equal : (a -> a -> Bool) -> Equality (InvertableMatrix a)

Compare two matricies using comparator

equalImplementation : (a -> a -> Bool) -> InvertableMatrix a -> InvertableMatrix a -> Bool

Compare two Matrices for equality

projXOntoSubspace :

InnerProductSpace a

-> List (ColumnVector a)

-> ColumnVector a

-> Result String (ColumnVector a)

Calculate the projection of a vector onto a subspace given by a list of basis vectors as column vectors

jonathanfishbein1/linear-algebra/25.3.0

InvertableMatrix

Types

Constructors

Matrix Predicates and Properties

Unitary Operations

Binary Operations

Manipulation

Equality

Modules