| 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 | |
| 1 (Function) | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| 2 (Function) | Math.NumberTheory.Powers.Modular, Math.NumberTheory.Powers |
| powModInt | Math.NumberTheory.Powers.Modular |
| powModWord | Math.NumberTheory.Powers.Modular |
| powSomeMod | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| Prefactored | Math.NumberTheory.Prefactored |
| prefFactors | Math.NumberTheory.Prefactored |
| prefValue | Math.NumberTheory.Prefactored |
| PrimalityArgument | Math.NumberTheory.Primes.Testing.Certificates |
| PrimalityProof | Math.NumberTheory.Primes.Testing.Certificates |
| Prime | |
| 1 (Type/Class) | Math.NumberTheory.UniqueFactorisation |
| 2 (Data Constructor) | Math.NumberTheory.Primes.Testing.Certificates |
| 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 |