Les corps finis dans PARI/GP
Préimages
ffinvmap permet de déterminer l’image inverse d’un
morphisme.
? Mdc = ffinvmap(Mcd);
? ffmap(Mdc, ffmap(Mcd, c^3+c+1))
%45 = c^3 + c + 1
? Mec = ffcompomap(Mdc, ffinvmap(Mde));
? ffmap(Mec, ffmap(Mce, c))
%47 = c
? ffinvmap(fffrobenius(c,3)) == fffrobenius(c,5)
%48 = 1