Théorie algébrique des nombres avec GP
Restes chinois
On peut appliquer le théorème des restes chinois avec
idealchinese :
? b = idealchinese(K,[pr1,2;pr2,1],[1,-1]);
On cherche un élément b ∈ ZK tel que b = 1 mod p2
1 et
b = −1 mod p2.
? nfeltval(K,b-1,pr1)
%39 = 2
? nfeltval(K,b+1,pr2)
%40 = 1
On vérifie le résultat en calculant les valuations : vp1
(b − 1) = 2
et vp2
(b + 1) = 1.