Grace/Cumulus/Geometry/Hausdorff.g17

Open in Workbench Download source

Imports

Vectors3 · Hausdorff.Hom · Hausdorff.FixedPoints · Hausdorff.Countable · Hausdorff.Paradox

Declarations

Source

1-- Hausdorff's paradox: the sphere minus the countable set of points fixed2-- by nontrivial words in two rotations is paradoxical under SO33-- Part of Cumulus, the Grace17 mathematics library.4-- Copyright (c) 2026 Grant Passmore.5-- Released under the Apache License 2.0. See LICENSE in the repository root.6-- Authors: Grant Passmore78module Grace.Cumulus.Geometry.Hausdorff9import Vectors310import Hausdorff.Hom11import Hausdorff.FixedPoints12import Hausdorff.Countable13import Hausdorff.Paradox14