Module flat 

Flat manifolds obtained from Euclidean spaces by discrete identifications.

S1 is the quotient R/Z; Torus combines two circles with straight gluing, while KleinBottle twists one identification. Their cover types implement the Bounded machinery used by NerveComplex to recover global topology.

Structs

KleinBottle

The Klein bottle — the non-orientable quotient of the plane, built as two circles with a twist. I is the “inner” circle coordinate type and V the ambient embedding type; ICompatible/VCompatible pin the dimensional relationship between them that the twist requires.

KleinBottleCover

A bounded chart domain in the regular finite cover of KleinBottle.

MyopicTorus

A deliberately overlapping bounded domain on Torus.

MyopicTorusCover

The tangent-bundle chart wrapper associated with MyopicTorus.

S1

The circle S¹, as the quotient of the line V by the integer lattice Z. One-dimensional (From<[F; 1]>).

Torus

The 2-torus T² = S¹ × S¹.

TorusCover

A bounded chart domain in the regular finite cover of Torus.

Traits

ICompatible

Dimensional-compatibility bound for the inner circle type of a KleinBottle/Torus, relating it to the ambient type V. See VCompatible for the dual constraint.

VCompatible

Dimensional-compatibility bound for the ambient type of a KleinBottle/Torus, relating it to the inner circle type I.