| Pock | Math.NumberTheory.Primes.Testing.Certificates |
| Point | Math.NumberTheory.Curves.Montgomery |
| pointA24 | Math.NumberTheory.Curves.Montgomery |
| pointN | Math.NumberTheory.Curves.Montgomery |
| pointX | Math.NumberTheory.Curves.Montgomery |
| pointZ | Math.NumberTheory.Curves.Montgomery |
| powMod | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| powSomeMod | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| PrimalityArgument | Math.NumberTheory.Primes.Testing.Certificates |
| PrimalityProof | Math.NumberTheory.Primes.Testing.Certificates |
| Prime | |
| 1 (Data Constructor) | Math.NumberTheory.Primes.Testing.Certificates |
| 2 (Type/Class) | Math.NumberTheory.UniqueFactorisation |
| primeCount | Math.NumberTheory.Primes.Counting, Math.NumberTheory.Primes |
| primeCountMaxArg | Math.NumberTheory.Primes.Counting, Math.NumberTheory.Primes |
| primeList | Math.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes |
| primes | |
| 1 (Function) | Math.NumberTheory.Primes.Heap |
| 2 (Function) | Math.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes |
| 3 (Function) | Math.NumberTheory.GaussianIntegers |
| PrimeSieve | Math.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes |
| primeSieve | Math.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes |
| provenFactorisation | Math.NumberTheory.Primes.Factorisation.Certified |
| psieveFrom | Math.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes |
| psieveList | Math.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes |