Théorie algébrique des nombres avec GP
Idéaux
? a = idealhnf(K,[23, 10, -5, 1]~)
%28 =
[260 0 228 123]
[ 0 260 123 105]
[ 0 0 1 0]
[ 0 0 0 1]
On obtient la HNF de l’idéal a = (23 + 10w − 5α + wα).
? idealnorm(K,a)
%29 = 67600
On a N(a) = 67600.