-- Euclidean motions of ℝ³, the unit ball, cones over pieces of the sphere,
-- and the absorption of the center of the ball
-- 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.Euclid
import Euclid.Motions
import Euclid.Ball
import Euclid.Cones
import Euclid.Center