Les corps finis dans PARI/GP
Corps premiers
Pour obtenir un nombre premier aléatoire :
? p=randomprime(2^100)
%1 = 792438309994299602682608069491
Pour créer un élement de Fp :
? a=Mod(17,p);
? a^(p-1) \\ exponentiation
%3 = Mod(1,792438309994299602682608069491)
Pour accéder aux composantes de a :
? a.mod
%4 = 792438309994299602682608069491
? lift(a) \\lift to Z
%5 = 17