Module quotient 

Isometries act on the cover; wrap_to_domain returns a representative and its deck element. LensSpace uses the z1 wedge, which does not select a unique representative on z1 = 0.

Structs

FlatTorus3

Rectangular torus with canonical representatives in [-cᵢ/2, cᵢ/2).

LensSpace

Lens space with z₁ = x + iy, z₂ = z + iw and deck action (z₁, z₂) ↦ (e^(2πi/p) z₁, e^(2πiq/p) z₂).

Traits

CoveringSpace

QuotientSpace