Théorie algébrique des nombres avec GP
Tester si un idéal est principal
? g
%66 = [-2/5, 1/5, 0]~
? {idealhnf(L,pr) == idealmul(L,g,
idealfactorback(L,L.gen,dl))}
%67 = 1
La seconde composante de la sortie de bnfisprincipal est
un élément g ∈ L qui engendre l’idéal principal restant.
(idealfactorback = inverse de idealfactor =
Q
i L.gen[i]dl[i])