is_prime(n) renvoie 1 (vrai) ou 0 (faux)
selon que son argument est premier ou non. isprime ou isPrime
renvoie true ou false.
Utiliser la commande is_prime(n,1) (ou pari("isprime",n,1))
pour obtenir un certificat de primalité par le test
"p-1" de Selfridge-Pocklington-Lehmer (voir la documentation
de PARI/GP, depuis le menu Aide->Manuels->PARI-GP)) et
pari("isprime",n,2) ou is_prime(n,2) pour utiliser le test APRCL
ou is_prime(n) pour utiliser un test mixte.
En interne isprime appelle is_prime, et si la réponse est
0 il la transforme en false, sinon il renvoie true. On ne
peut donc pas obtenir de certificat de primalité avec isprime, par
contre les arguments de isprime et is_prime sont identiques.
On tape :
On obtient :
On tape :
On obtient :
On tape :
On obtient :
On tape :
On obtient :
On tape :
On obtient :
Pour obtenir un certificat de primalité pour n=9856989898997789789, on tape :
ou :
On obtient les coefficients prouvant la primalité par le test "p-1" de Selfridge-Pocklington-Lehmer :
sinon, on tape :
Ou on tape :
On obtient :