Théorie algébrique des nombres avancée
Corps de classe de rayon
Calculons un exemple complet avec un idéal en HNF et un
sous-groupe donné par une matrice.
bnr = bnrinit(bnf,[102709,43512;0,1]);
bnr.cyc
% = [17010, 27]
bnrclassfield(bnr,[9,3;0,1]) \\indice 9
% = [x^9 + (594*a - 3567)*x^7 + ... ]