Module Algebra.Presentation.Anick

module Anick: sig .. end

Anick resolution.

type chain = Algebra.Presentation.M.Anick.t

module AMod: sig .. end

module AKMod: sig .. end

Underlying K-module of AMod.

val chains : Algebra.Presentation.t -> int -> Algebra.Presentation.M.Anick.t list array

Array of Anick chains up to degree n.

val resolution : ?augmentation:Algebra.Presentation.Augmentation.t ->
       Algebra.Presentation.t ->
       int -> AMod.Presentation.Complex.t

Compute the Anick resolution.

module KMod: Module.Free(K)(Algebra.Presentation.M.Anick)

module MF: Matrix.Functor(Algebra.Presentation.A)(K)

module MFL: MF.Labeled(Algebra.Presentation.M.Anick)(Algebra.Presentation.M.Anick)

val complex : ?augmentation:Algebra.Presentation.Augmentation.t ->
       Algebra.Presentation.t ->
       int -> KMod.Presentation.Complex.t

Tor complex, whose homology is the one of the algebra (in right A-modules).

val homology : ?augmentation:Algebra.Presentation.Augmentation.t ->
       Algebra.Presentation.t -> int -> int array