- Introduction
- Construction of a Rewrite Monoid
- Basic Operations
- Homomorphisms
- Set Operations
- Random(M, n) : MonRWS, RngIntElt -> MonRWSElt
- Random(M) : MonRWS -> MonRWSElt
- Representative(M) : MonRWS -> MonRWSElt
- Set(M, a, b) : MonRWS, RngIntElt, RngIntElt -> SetEnum
- Set(M) : MonRWS -> SetEnum
- Seq(M, a, b) : MonRWS, RngIntElt, RngIntElt -> SeqEnum
- Seq(M) : MonRWS -> SeqEnum
- Example MonRWS_Set (H85E11)
- Conversion to a Finitely Presented Monoid
- Bibliography
V2.28, 13 July 2023