Module Module.FreeLeft.Presentation.Map

module Map: sig .. end

Linear maps between presentations.

module M: Matrix.Make(R)

module L: M.Labeled(X)

type map = L.t

A linear map (encoded as a matrix).

type t = map

val app : t ->
       t -> t

Apply a morphism to an element.

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

The zero morphism.

val of_map : Module.FreeLeft.Map.map ->
       X.t array -> X.t array -> t

Create from a map with given source and target.

val to_map : t -> Module.FreeLeft.Map.map

Convert to a map.

val rank : t -> int

Rank of a map.

val nullity : t -> int

Nullity of a map.

val to_string : t -> string