Théorie algébrique des nombres avancée
Corps de classe de rayon
Pour des raisons d’efficacité, on calcule le corps de classe
comme compositum de plusieurs corps plus petits.
bnrclassfield(bnr)
% = [x^2-3, x^8+(6*a-54)*x^6+(-165*a+693)*x^4
+(309*a-996)*x^2-363, x^9+105*x^7+(94*a-47)*x^6
+1692*x^5+(1866*a-933)*x^4+1157*x^3
+(12348*a-6174)*x^2-143031*x+(-11662*a+5831)]
On peut forcer le calcul d’un unique polynôme avec flag=1.
bnrclassfield(bnr,,1)
% = [... énorme polynôme ...]