FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne
Wrapper for the FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne folder.
KernelEquivalence
Schreier relator data for the original first-reduction period-one presentation.
LowCardDihedral
In the low-cardinality tail case, the transported tail-period index set has cardinality two.
QuotientAndBasis
The original first-reduction canonical periods agree with the target period data.
RelatorProofs
The first-power kernel relator of the original period-one reduction lies in the normal closure of the source relators.
SourceMaps
The tail-block word used for the one-head period-one target source map.
SourceSubgroup
If the second-stage cleanup period data is not strict, one of the relevant periods is one.
TargetMaps
Generator images for the map from the one-head period-one target presentation to the Schreier presentation.
TargetSignatures
The target signature obtained by replicating the tail in the double-period-one case.