Théorie algébrique des nombres avec GP
Idéaux : opérations
Les opérations sur les idéaux sont les fonctions idealxxxx et
acceptent des HNF, des structures représentant des idéaux
premiers (sortie de idealprimedec), et des éléments.
? idealpow(K,pr2,3)
%30 =
[25 15 21 7]
[ 0 5 2 4]
[ 0 0 1 0]
[ 0 0 0 1]
? idealnorm(K,idealadd(K,a,pr2))
%31 = 1
On a a + p2 = ZK : les idéaux a et p2 sont premiers entre eux.