FenchelNielsenZomorrodian.Discrete.Singerman
This module develops Fenchel--Nielsen--Zomorrodian presentation reductions, period relations, reindexings, and quotient maps.
CyclicProductIdentities
Definition of the conjugate range product used in the Singerman cyclic-product calculation.
CyclicQuotientActions
The cyclic quotient acts by the right-regular representation on the quotient index set.
CyclicSchreierKernel
Relator-quotient mutual map data for the cyclic Schreier kernel presentation.
FreeGroupWords
A finite list indexed by \(\mathrm{Fin}(1+n)\) splits into its first entry and the remaining \(n\) entries.
KernelTransport
The Singerman transport periods family is the finite family of periods, products, or least common multiple data used in the period reduction in the Fenchel--Nielsen--Zomorrodian...