Les corps finis dans PARI/GP
Extensions relatives
? ffmap(Mdc, d)
%49 = []
Cela indique qu’il n’y a pas de solutions car d n’est pas dans le
corps de définition de c.
ffmaprel permet d’exprimer d comme élément algébrique sur
le corps de définition de c :
? rd = ffmaprel(Mdc, d)
%50 = Mod(d,d^3+2*d+(c^7+2*c^5+2*c^4+2*c^3+c^2+2*c))
? sd = ffmaprel(Mdc, d^4+1)
%51 = Mod(d^2+(2*c^7+c^5+c^4+c^3+2*c^2+c)*d+1,d^3+2*