Functor Matrix.Make

module Make: functor (R : Ring.T) -> sig .. end

Parameters:

R : Ring.T

type t = R.t array array

type matrix = t

val zero : int -> int -> t

val init : int -> int -> (int -> int -> R.t) -> t

val rows : t -> int

val cols : t -> int

val get : t -> int -> int -> R.t

val to_string : t -> string

module Row: sig .. end

Operations on rows.

val row_echelon : t -> t

Put a matrix in row echelon form.

val rank : t -> int

Dimension of the image.

val nullity : t -> int

Dimension of the kernel.

module Labeled: functor (X : Alphabet.T) -> sig .. end

Matrices with labeled basis elements.