ProCGroups.ReidemeisterSchreier.Discrete.ReidemeisterSchreier
This aggregate exposes the abstract rewriting construction together with its finite-quotient presentation pipeline.
imports
Imported by
FiniteQuotient
This module removes relators attached to degenerate Schreier symbols, builds the finite cleaned relator set, and records the remaining quotient-section and augmented relator fam...
Rewriting
This module defines abstract right Schreier representatives, their associated symbols and generators, and the rewriting maps that turn kernel words into words on Schreier symbols.