Théorie algébrique des nombres avancée
Module aux places à l’infini
Si le corps de base a des places réelles, on peut spécifier le
module à l’infini en donnant un vecteur de 0 et 1 de longueur le
nombre de plongements réels.
bnf=bnfinit(a^2-217);
bnf.cyc
% = []
bnrinit(bnf,1).cyc
% = []
bnrinit(bnf,[1,[1,1]]).cyc
% = [2]
Le nombre de classes restreint du corps Q(
√
217) est 2.