Théorie algébrique des nombres avec GP
bnfcertify
La sortie de bnfisprincipal n’est a priori correcte que sous
GRH (Hypothèse de Riemann Généralisée). On peut la certifier
inconditionnellement au prix d’un calcul supplémentaire avec
bnfcertify.
? bnfcertify(K2)
%52 = 1
Le calcul est maintenant certifié! Si bnfcertify renvoie 0, on
a trouvé un contre-exemple à GRH (ou plus probablement un
bug dans PARI/GP)!