Functor Algebra.Generate

module Generate: functor (K : Field.T) -> functor (X : Alphabet.T  with type t = int) -> sig .. end

Parameters:

`K`	:	`Field.T`
`X`	:	`Alphabet.T with type t = int`

module Presentation: Algebra.Presentation(K)(X)

module M: Presentation.M

module A: Presentation.A

val intset : int -> int list

val braid : (Presentation.M.t ->
        Presentation.M.t -> bool) ->
       X.t -> Presentation.t

val symmetric : (Presentation.M.t ->
        Presentation.M.t -> bool) ->
       X.t -> Presentation.t

The symmetric algebra.

val exterior : (Presentation.M.t ->
        Presentation.M.t -> bool) ->
       X.t -> Presentation.t