Théorie algébrique des nombres avec GP
Idéaux : factorisation
? [fa[2,1].p, fa[2,1].f, fa[2,1].e, fa[2,2]]
%35 = [5, 1, 2, 2]
? fa[2,1]==pr1
%36 = 1
Le deuxième est p1, et il apparaît avec exposant 2.
? [fa[3,1].p, fa[3,1].f, fa[3,1].e, fa[3,2]]
%37 = [13, 2, 1, 1]
Le troisième est un idéal premier au-dessus de 13, de degré
résiduel 2 et non ramifié, et apparaît avec exposant 2.