Algebra.Matrix

A small simple matrix library.

Documentation

newtype Vector r

Row vectors

Constructors

Vec [r]

Instances

Eq r => Eq (Vector r)

Show r => Show (Vector r)

(Ring r, Arbitrary r, Eq r) => Arbitrary (Vector r)

unVec :: Vector r -> [r]

lengthVec :: Vector r -> Int

newtype Matrix r

Matrices

Constructors

M [Vector r]

Instances

Eq r => Eq (Matrix r)

Show r => Show (Matrix r)

(Eq r, Arbitrary r, Ring r) => Arbitrary (Matrix r)

matrix :: [[r]] -> Matrix r

Construct a mxn matrix.

matrixToVector :: Matrix r -> Vector r

vectorToMatrix :: Vector r -> Matrix r

unMVec :: Matrix r -> [[r]]

unM :: Matrix r -> [Vector r]

identity :: IntegralDomain r => Int -> Matrix r

Construct a nxn identity matrix.

mulM :: Ring r => Matrix r -> Matrix r -> Matrix r

Matrix multiplication.

addM :: Ring r => Matrix r -> Matrix r -> Matrix r

Matrix addition.

transpose :: Matrix r -> Matrix r

Transpose a matrix.

isSquareMatrix :: Matrix r -> Bool

dimension :: Matrix r -> (Int, Int)

Compute the dimension of a matrix.