Algebra.Matrix

This module provides a Matrix type.

Type

type Matrix a

The Matrix type.

This type is parameterized over its elements.

= Swap Int Int

| Multiply a Int

| Linear a Int Int

Type of elementary operations that can be performed on a Matrix.

Create a Matrix from a list of vectors.

identity : Field a -> Int -> Matrix a

The identity matrix of a certain dimension.

transpose : Field a -> Matrix a -> Matrix a

Returns the transpose of a Matrix.

Determine the kernel of a matrix.

rowEchelon : Field a -> Matrix a -> ( Matrix a, List (Operation a), List Int )

Return the row echelon form of a matrix.