Les corps finis dans PARI/GP
Morphismes entre corps finis
Il est possible de définir des morphismes entre corps finis.
? d = ffgen([3,24],’d)
%29 = d
? Mcd = ffembed(c,d); \\calcul un plongement de c da
? ffembed(d,c)
*** at top-level: ffembed(d,c)
*** ^------------
*** ffembed: domain error in ffembed: d is not a s
? c2 = ffmap(Mcd,c^5+c+1) \\applique le plongement
%31 = d^21+2*d^19+d^18+d^15+2*d^13+2*d^12+2*d^10+d^9
? F = fffrobenius(d,8); \\8-éme puissance du Frobeni
? ffmap(F, d) == d^(3^8)
%33 = 1
? ffmap(F, c2) == c2
%34 = 1