FenchelNielsenZomorrodian.Discrete.Torsion
This module develops Fenchel--Nielsen--Zomorrodian presentation reductions, period relations, reindexings, and quotient maps.
CompactFiniteOrder
Every nontrivial finite-order element is conjugate to a power of an elliptic generator.
FuchsianFiniteSubgroupFrontier
A subgroup is contained in a conjugate of one elliptic stabilizer, up to powers.