Grace/Cumulus/Rotation.g17

Open in Workbench Download source

Imports

Freeness · Determinant

Declarations

Source

1-- Rotations of ℝ³: the group SO3, its action on the unit sphere, the two2-- generating rotations, and the freeness of the words in them3-- 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.Rotation9import Freeness10import Determinant11