FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus

6 sections | 6 files | 68 declarations

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

CleanupData

1 files | 18 declarations | 9 Theorem | 8 Definition | 1 Structure

The transported second-reduction index set has cardinality at least three.

1 files | 14 declarations | 11 Theorem | 3 Definition

The period function of the original first-reduction signature.

1 files | 3 declarations | 3 Theorem

In zero genus with pairwise coprime periods, the displayed homomorphism is trivial.

1 files | 9 declarations | 3 Theorem | 4 Definition | 2 Structure

Data choosing a prime divisor of one tail period in the first-reduction kernel construction, together with the quotient period remaining positive.

1 files | 23 declarations | 21 Theorem | 2 Definition

If \(n = 0\), then there is no element of \(\mathrm{Fin}\, n\).

1 files | 1 declarations | 1 Definition

The source signature used by the zero-genus second-reduction data.