Module Module.FreeLeft.Presentation

module Presentation: sig .. end

A presentation of a free module (a basis).

type pres = X.t array

A presentation.

type t = pres

val make : t -> t

Create a presentation.

val dim : t -> int

Dimension of a presentation.

val presentation_to_string : X.t array -> string

module Map: sig .. end

Linear maps between presentations.

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

Iterate a function on the generators of a module.

module Complex: sig .. end

Chain complexes between free modules.

val to_string : X.t array -> string

String representation.