- Introduction
- The Construction of Free Semigroups and their Elements
- Elementary Operators for Words
- Specification of a Presentation
- Subsemigroups, Ideals and Quotients
- Subsemigroups and Ideals
- sub<S | L1, ..., Lr> : SgpFP, SgpFPElt, ..., SgpFPElt -> SgpFP
- ideal<S | L1, ..., Lr> : SgpFP, SgpFPElt, ..., SgpFPElt -> SgpFPIdl
- lideal<G | L1, ..., Lr> : SgpFP, SgpFPElt, ..., SgpFPElt -> SgpFPIdl
- rideal<G | L1, ..., Lr> : SgpFP, SgpFPElt, ..., SgpFPElt -> SgpFPIdl
- Quotients
- Extensions
- Elementary Tietze Transformations
- AddRelation(S, r) : SgpFP, Rel -> SgpFP
- DeleteRelation(S, r) : SgpFP, Rel -> SgpFP
- DeleteRelation(S, i) : SgpFP, RngIntElt -> SgpFP
- ReplaceRelation(S, r1, r2) : SgpFP, Rel, Rel -> SgpFP
- ReplaceRelation(S, i, r) : SgpFP, RngIntElt, Rel -> SgpFP
- AddGenerator(S) : SgpFP -> SgpFP
- AddGenerator(S, w) : SgpFP, SgpFPElt -> SgpFP
- DeleteGenerator(S, y) : SgpFP, SgpFPElt -> SgpFP
- String Operations on Words
- Eliminate(u, x, v) : SgpFPElt, SgpFPElt, SgpFPElt -> SgpFPElt
- Match(u, v, f) : SgpFPElt, SgpFPElt, RngIntElt -> BoolElt, RngIntElt
- Random(S, m, n) : SgpFP, RngIntElt, RngIntElt -> SgpFPElt
- RotateWord(u, n) : SgpFPElt, RngIntElt -> SgpFPElt
- Substitute(u, f, n, v) : SgpFPElt, RngIntElt, SgpFPElt, RngIntElt -> SgpFPElt
- Subword(u, f, n) : SgpFPElt, RngIntElt, RngIntElt -> SgpFPElt
- ElementToSequence(u) : SgpFPElt -> [ SgpFPElt ]
V2.28, 13 July 2023