Commit 2024-09-17 19:29 7e5fb313

feat(NumberField/CanonicalEmbedding): Define the fundamental cone for the action of the units of a number field (#12268) Let K be a number field of signature (r₁, r₂). This PR defines the fundamental cone: it is a cone in the mixed space that is a fundamental domain for the action of (𝓞 K)ˣ modulo torsion. In a later PR #12333, we prove that points in the fundamental cone coming from (𝓞 K) modulo torsion are in a norm-preserving correspondence with the non-zero principal ideals of (𝓞 K). This PR is part of the proof of the Analytic Class Number Formula.