Grace/Cumulus/Geometry/Euclid.g17

Open in Workbench Download source

Imports

Euclid.Motions · Euclid.Ball · Euclid.Cones · Euclid.Center

Declarations

Source

1-- Euclidean motions of ℝ³, the unit ball, cones over pieces of the sphere,2-- and the absorption of the center of the ball3-- 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.Euclid9import Euclid.Motions10import Euclid.Ball11import Euclid.Cones12import Euclid.Center13