-- Absorbing countable sets: countable unions, the absorption theorem for a
-- group action, the rational rotations turn(t) about the z-axis, their
-- membership in SO3, the countability of the parameters t at which turn(t)
-- has finite order, and the separation of a countable subset of the
-- sphere from itself by some turn(t)
-- Part of Cumulus, the Grace17 mathematics library.
-- Copyright (c) 2026 Grant Passmore.
-- Released under the Apache License 2.0. See LICENSE in the repository root.
-- Authors: Grant Passmore

module Grace.Cumulus.Geometry.Absorption
import Absorption.CountableUnion
import Absorption.Absorb
import Absorption.Triples
import Absorption.Turn
import Absorption.Roots
import Absorption.Order
import Absorption.TurnRotation
import Absorption.Separation
import Absorption.Sphere
import Absorption.Pieces
import Absorption.Final