Functor Matrix.Make.Labeled

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

Matrices with labeled basis elements.

Parameters:

X : Alphabet.T

module L: sig .. end

type map = int L.t

type t = map * map * Matrix.Make.matrix

A matrix with labeled basis elements.

val matrix : t -> Matrix.Make.matrix

Underlying (non-labeled) matrix.

val zero : X.t array -> X.t array -> t

val set : t -> X.t -> X.t -> R.t -> unit

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

val rank : t -> int

val nullity : t -> int

val iter_src : (X.t -> unit) -> t -> unit

Iterate over source basis.

val iter_tgt : (X.t -> unit) -> t -> unit

Iterate over target basis.

val iter : (X.t -> X.t -> unit) -> t -> unit

Iterate over source and target basis.