7.1.14 Testing primality
The is_prime,
isprime and
isPrime commands
are tests for primality.
- is_prime takes
n, an integer.
- is_prime(n) returns 1 if n is prime and 0 if
n is not prime.
isprime and isPrime are the same as
is_prime, except they return true or false.
Examples
Use the command pari("isprime",n,1) (see
Section 7.2.10) to get a primality certificate (see the
documentation PARI/GP with the menu
Help ▸ Manuals ▸ PARI-GP)
and pari("isprime",n,2) to use the APRCL test.
Examples
| isprime(9856989898997789789) |
| pari("isprime",9856989898997789789,1) |
which are the coefficients giving the proof of primality by the
p−1 Selfridge-Pocklington-Lehmer test.