FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction

7 sections | 12 files | 202 declarations

Wrapper for the FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction folder.

KernelEquivalence

1 files | 5 declarations | 1 Theorem | 4 Definition

Forward map data for transporting the canonical second-reduction blocks.

1 files | 22 declarations | 11 Theorem | 11 Definition

The canonical ordered target signature for the second reduction uses this block length.

1 files | 78 declarations | 54 Theorem | 22 Definition | 2 Abbreviation

The source free quotient homomorphism used in the canonical second reduction.

1 files | 2 declarations | 1 Theorem | 1 Definition

Case split for the second-branch canonical source relators in the second reduction.

6 files | 58 declarations | 48 Theorem | 9 Definition | 1 Abbreviation

Wrapper for the `FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction.Relators` folder.

1 files | 32 declarations | 22 Theorem | 10 Definition

The period function of the second-reduction canonical source signature.

1 files | 5 declarations | 2 Theorem | 3 Definition

The second-reduction Schreier word or generator is evaluated by the chosen transversal and equals the prescribed target word.