Commit 2025-09-18 14:30 937c0944

chore(NumberField/CMField): refactor (#29746) The current development of NumberField.CMField is to develop the theory for K/F a quadratic extension of a totally real field by a totally complex field (CMExtension) and then to specialize to the special case where F is the maximal real subfield of K (IsCM). This leads to a lot of code duplication. Since, when K/F is a CMExtension, F is isomorphic to the maximal real subfield of K, this refactor proposes to prove all the results in the IsCM case, that is for the totally real maximal subfield, and then one can use the isomorphism between F and the maximal real subfield of K to deduce the analogue of these results in the CMExtension case. This leads to simpler code but also the removal of many results for the CMExtension case. Hopefully, since this is a leaf file, that should not cause too much difficulties.