Commit 2025-12-16 10:54 61d942a2
View on Github →feat(Cyclotomic): compute the torsion order of a cyclotomic field (#32782)
The order of the torsion group of the n-th cyclotomic field is n if n is even and 2n if n is odd.
feat(Cyclotomic): compute the torsion order of a cyclotomic field (#32782)
The order of the torsion group of the n-th cyclotomic field is n if n is even and 2n if n is odd.