Théorie algébrique des nombres avec GP
Exprimer une unité en fonction des générateurs
? u = [0,2,1]~;
? nfeltnorm(L,u)
%75 = 1
On a trouvé une unité u ∈ Z×
L .
? bnfisunit(L,u)
%76 = [1, 2, 1]~
? lift(L.fu)
%77 = [-x^2 - 4*x + 34, x - 4]
? lift(L.tu)
%78 = [2, -1]
On l’exprime en fonction des générateurs avec bnfisunit :
u = (−α2 − 4α + 34) · (α − 4)2 · (−1)1.