Théorie algébrique des nombres avec GP
Groupe des classes
? L = bnfinit(x^3 - x^2 - 54*x + 169);
? L.cyc
%61 = [2, 2]
C`(L) ∼
= Z/2Z × Z/2Z
? L.gen
%62 = [[5,0,0;0,5,3;0,0,1],[5,0,3;0,5,2;0,0,1]]
Générateurs du groupe des classes, donnés comme idéaux
sous forme HNF.