Les corps finis dans PARI/GP
Extension des corps finis
ffextend permet de construire une extension de corps finis
définie par un polynôme irréductible.
? T = x^3+d*x+1; polisirreducible(T)
%35 = 1
? [e,Mde] = ffextend(d, T, ’e);
? e.f
%37 = 72
? fforder(e)
%38 = 159532886154309878799686
? ffmap(Mde, d)
%39 = e^66+2*e^64+2*e^60+e^58+2*e^57+e^55+e^54+e^51+
% +e^35+2*e^34+2*e^31+e^27+2*e^25+2*e^23+e^22+2*e
% +e^10+2*e^8+e^7+e^6+2*e^4+2*e^3+e^2gq)+2*e