module KMod:Module.Free(K)(Algebra.Presentation.M.Anick)
module Ring: R
module E:sig..end
typer =R.t
An element of the ring.
typet =r E.t
An element of the module.
val zero : t
val cinj : R.t -> X.t -> t
val inj : X.t -> t
val coeff : t -> X.t -> rCoefficient of an element.
val included : t -> t -> bool
val eq : t -> t -> bool
val add_monomial : t -> r -> X.t -> t
val add : t -> t -> t
val cmul : R.t -> t -> t
val neg : t -> t
val sub : t -> t -> t
val to_string : t -> string
val map : (X.t -> t) -> t -> tMap a linear function.
val iter : (R.t -> X.t -> unit) -> R.t E.t -> unit
module Map:sig..end
Morphisms between free modules.
module Presentation:sig..end
A presentation of a free module (a basis).