Théorie algébrique des nombres avec GP
Application : bnfisintnorm
On peut utiliser cela pour trouver des solutions dans ZK
d’équations aux normes avec bnfisintnorm :
? bnfisintnorm(L,5)
%72 = []
Il n’y a pas d’élément de norme 5 dans ZL.
? bnfisintnorm(L,65)
%73 = [x^2 + 4*x - 36, -x^2 - 3*x + 39, -x + 2]
Il y a trois éléments de ZL de norme 65, à multiplication près
par les éléments de Z×
L de norme positive.