Commit 2024-09-16 17:23 3dd7bafb

feat(NumberField/CanonicalEmbedding/FundamencalCone): define the logMap (#16763) We define a map from the mixed space to the log space (The space used in the proof of Dirichlet theorem). By taking the inverse image of a fundamental domain of the unit lattice, we will get the fundamental cone, see #12268. This PR is part of the proof of the Analytic Class Number Formula.