Module Algebra.Presentation.Augmentation

module Augmentation: sig .. end

Augmentations for presented algebras.

type t = Algebra.Presentation.A.t -> K.t

An augmentation.

exception Invalid

Invalid augmentation.

val make : t ->
       (Algebra.Presentation.M.t -> K.t) -> t

Construct an augmentation by defining it on generators.

val graded : t -> t

Traditional augmentation for graded algebras.

val monoid : t -> t

Traditional augmentation for monoids / groups.