| partition | Math.NumberTheory.Recurrences, Math.NumberTheory.Recurrencies |
| 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 |
| precPrime | Math.NumberTheory.Primes, Math.NumberTheory.UniqueFactorisation |
| 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.Primes, Math.NumberTheory.UniqueFactorisation |
| 2 (Data Constructor) | Math.NumberTheory.Primes.Testing.Certificates |
| primeCount | Math.NumberTheory.Primes.Counting |
| primeCountMaxArg | Math.NumberTheory.Primes.Counting |
| primeList | Math.NumberTheory.Primes.Sieve |
| primes | |
| 1 (Function) | Math.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes, Math.NumberTheory.UniqueFactorisation |
| 2 (Function) | Math.NumberTheory.Quadratic.GaussianIntegers |
| 3 (Function) | Math.NumberTheory.Quadratic.EisensteinIntegers |
| PrimeSieve | Math.NumberTheory.Primes.Sieve |
| primeSieve | Math.NumberTheory.Primes.Sieve |
| PrimitiveRoot | Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| provenFactorisation | Math.NumberTheory.Primes.Factorisation.Certified |
| psieveFrom | Math.NumberTheory.Primes.Sieve |
| psieveList | Math.NumberTheory.Primes.Sieve |