Théorie algébrique des nombres avancée
Corps de classe de rayon
On peut aussi calculer un sous-corps du corps de classe de
rayon en spécifiant un sous-groupe du groupe de classes.
bnr = bnrinit(bnf,7)
bnr.cyc
% = [54,3]
bnrclassfield(bnr,3) \\sous-extension 3-élémentaire
% = [x^3 + (-1344*a + 2121)*x + (24031*a - 288820),
x^3 + (-129*a + 726)*x + (-575*a + 6506)]