Théorie algébrique des nombres avec GP
Idéaux
Un idéal arbitraire est représenté par sa forme normale de
Hermite (HNF) par rapport à la base d’entiers. On peut obtenir
cette forme avec idealhnf.
? idealhnf(K,pr1)
%27 =
[5 3 4 3]
[0 1 0 0]
[0 0 1 0]
[0 0 0 1]
Interprétation : p1 s’écrit
p1 = Z · 5 + Z · (w + 3) + Z · (α + 4) + Z · (wα + 3).