Commit 2025-10-21 12:12 e78e7795
View on Github →feat(NumberField/Cyclotomic): splitting of the prime p in the p^k-th cyclotomic field (#30682)
The prime ideal above the prime p in the p^k-th cyclotomic field is totally ramified.
feat(NumberField/Cyclotomic): splitting of the prime p in the p^k-th cyclotomic field (#30682)
The prime ideal above the prime p in the p^k-th cyclotomic field is totally ramified.