Commit 2024-09-10 09:38 3bebc671

feat(NumberField/CanonicalEmbedding): make the mixedSpace explicit (#16634) For K, a number field, the mixed space is the space ℝ^r₁ × ℂ^r₂ where (r₁, r₂) is the signature of K. This space is heavily used in the files about the canonical embedding but was never explicit (only used a notation). For further developments (and just to make things clearer), I think it is better to define it explicitly. This is what is done in this PR.