Les corps finis dans PARI/GP
Extensions relatives
Cela permet de calculer la trace et la norme relative et le
polynôme minimal.
? trace(rd)
%52 = 0
? norm(rd)
%53 = 2*c^7+c^5+c^4+c^3+2*c^2+c
? [norm(norm(rd)), norm(d)]
%54 = [Mod(1,3), Mod(1,3)]
? minpoly(rd)
%55 = x^3+2*x+(c^7+2*c^5+2*c^4+2*c^3+c^2+2*c)
? minpoly(sd)
%56 = x^3+x^2+(c^5+2*c^4+2*c^2)*x+(c^7+2*c^6+c^5+c^4