| .^ | Math.NumberTheory.GaussianIntegers |
| :+ | Math.NumberTheory.GaussianIntegers |
| additive | Math.NumberTheory.ArithmeticFunctions |
| alimit | Math.NumberTheory.Primes.Testing.Certificates |
| approxPrimeCount | Math.NumberTheory.Primes.Counting, Math.NumberTheory.Primes |
| approxPrimeCountOverestimateLimit | Math.NumberTheory.Primes.Counting, Math.NumberTheory.Primes |
| aprime | Math.NumberTheory.Primes.Testing.Certificates |
| argueCertificate | Math.NumberTheory.Primes.Testing.Certificates |
| argueCompositeness | Math.NumberTheory.Primes.Testing.Certificates |
| arguePrimality | Math.NumberTheory.Primes.Testing.Certificates |
| ArithmeticFunction | |
| 1 (Type/Class) | Math.NumberTheory.ArithmeticFunctions |
| 2 (Data Constructor) | Math.NumberTheory.ArithmeticFunctions |
| Assumption | Math.NumberTheory.Primes.Testing.Certificates |
| bailliePSW | Math.NumberTheory.Primes.Testing, Math.NumberTheory.Primes |
| Belief | Math.NumberTheory.Primes.Testing.Certificates |
| bigOmega | Math.NumberTheory.ArithmeticFunctions |
| bigOmegaA | Math.NumberTheory.ArithmeticFunctions |
| binaryGCD | Math.NumberTheory.GCD |
| carmichael | |
| 1 (Function) | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| 2 (Function) | Math.NumberTheory.ArithmeticFunctions |
| carmichaelA | Math.NumberTheory.ArithmeticFunctions |
| carmichaelFromCanonical | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| CarmichaelSieve | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| carmichaelSieve | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| Certificate | Math.NumberTheory.Primes.Testing.Certificates |
| certificateFactorisation | Math.NumberTheory.Primes.Factorisation.Certified |
| certifiedFactorisation | Math.NumberTheory.Primes.Factorisation.Certified |
| certify | Math.NumberTheory.Primes.Testing.Certificates |
| checkCertificate | Math.NumberTheory.Primes.Testing.Certificates |
| checkCompositenessProof | Math.NumberTheory.Primes.Testing.Certificates |
| checkPrimalityProof | Math.NumberTheory.Primes.Testing.Certificates |
| chineseRemainder | Math.NumberTheory.Moduli |
| chineseRemainder2 | Math.NumberTheory.Moduli |
| compo | Math.NumberTheory.Primes.Testing.Certificates |
| Composite | Math.NumberTheory.Primes.Testing.Certificates |
| composite | Math.NumberTheory.Primes.Testing.Certificates |
| CompositenessArgument | Math.NumberTheory.Primes.Testing.Certificates |
| CompositenessProof | Math.NumberTheory.Primes.Testing.Certificates |
| conjugate | Math.NumberTheory.GaussianIntegers |
| coprime | Math.NumberTheory.GCD |
| coprimeInt | Math.NumberTheory.GCD.LowLevel |
| coprimeInt# | Math.NumberTheory.GCD.LowLevel |
| coprimeWord | Math.NumberTheory.GCD.LowLevel |
| coprimeWord# | Math.NumberTheory.GCD.LowLevel |
| cprime | Math.NumberTheory.Primes.Testing.Certificates |
| curveFactorisation | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| defaultStdGenFactorisation | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| defaultStdGenFactorisation' | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| divG | Math.NumberTheory.GaussianIntegers |
| Division | Math.NumberTheory.Primes.Testing.Certificates |
| divisorCount | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| divisorPowerSum | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| Divisors | Math.NumberTheory.Primes.Testing.Certificates |
| divisors | |
| 1 (Function) | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| 2 (Function) | Math.NumberTheory.ArithmeticFunctions |
| divisorsA | Math.NumberTheory.ArithmeticFunctions |
| divisorsFromCanonical | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| divisorsSmall | Math.NumberTheory.ArithmeticFunctions |
| divisorsSmallA | Math.NumberTheory.ArithmeticFunctions |
| divisorSum | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| divisorSumFromCanonical | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| divModG | Math.NumberTheory.GaussianIntegers |
| exactCubeRoot | Math.NumberTheory.Powers.Cubes, Math.NumberTheory.Powers |
| exactFourthRoot | Math.NumberTheory.Powers.Fourth, Math.NumberTheory.Powers |
| exactRoot | Math.NumberTheory.Powers.General, Math.NumberTheory.Powers |
| exactSquareRoot | Math.NumberTheory.Powers.Squares, Math.NumberTheory.Powers |
| expMangoldt | Math.NumberTheory.ArithmeticFunctions |
| expMangoldtA | Math.NumberTheory.ArithmeticFunctions |
| extendedGCD | Math.NumberTheory.GCD |
| factorise | |
| 1 (Function) | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| 2 (Function) | Math.NumberTheory.GaussianIntegers |
| 3 (Function) | Math.NumberTheory.UniqueFactorisation |
| factorise' | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| factorList | Math.NumberTheory.Primes.Testing.Certificates |
| FactorSieve | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes.Testing, Math.NumberTheory.Primes |
| factorSieve | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| Fermat | Math.NumberTheory.Primes.Testing.Certificates |
| fermatBase | Math.NumberTheory.Primes.Testing.Certificates |
| fibonacci | Math.NumberTheory.Lucas |
| fibonacciPair | Math.NumberTheory.Lucas |
| findPrime | Math.NumberTheory.GaussianIntegers |
| findPrime' | Math.NumberTheory.GaussianIntegers |
| firstDivisor | Math.NumberTheory.Primes.Testing.Certificates |
| fsIsPrime | Math.NumberTheory.Primes.Testing, Math.NumberTheory.Primes |
| GaussianInteger | Math.NumberTheory.GaussianIntegers |
| gcdG | Math.NumberTheory.GaussianIntegers |
| gcdG' | Math.NumberTheory.GaussianIntegers |
| gcdInt | Math.NumberTheory.GCD.LowLevel |
| gcdInt# | Math.NumberTheory.GCD.LowLevel |
| gcdWord | Math.NumberTheory.GCD.LowLevel |
| gcdWord# | Math.NumberTheory.GCD.LowLevel |
| generalInversion | |
| 1 (Function) | Math.NumberTheory.MoebiusInversion |
| 2 (Function) | Math.NumberTheory.MoebiusInversion.Int |
| generalLucas | Math.NumberTheory.Lucas |
| highestPower | Math.NumberTheory.Powers.General, Math.NumberTheory.Powers |
| imag | Math.NumberTheory.GaussianIntegers |
| integerCubeRoot | Math.NumberTheory.Powers.Cubes, Math.NumberTheory.Powers |
| integerCubeRoot' | Math.NumberTheory.Powers.Cubes |
| integerFourthRoot | Math.NumberTheory.Powers.Fourth, Math.NumberTheory.Powers |
| integerFourthRoot' | Math.NumberTheory.Powers.Fourth |
| integerLog10 | Math.NumberTheory.Logarithms |
| integerLog10' | Math.NumberTheory.Logarithms |
| integerLog2 | Math.NumberTheory.Logarithms |
| integerLog2' | Math.NumberTheory.Logarithms |
| integerLogBase | Math.NumberTheory.Logarithms |
| integerLogBase' | Math.NumberTheory.Logarithms |
| integerPower | Math.NumberTheory.Powers.Integer |
| integerRoot | Math.NumberTheory.Powers.General, Math.NumberTheory.Powers |
| integerSquareRoot | Math.NumberTheory.Powers.Squares, Math.NumberTheory.Powers |
| integerSquareRoot' | Math.NumberTheory.Powers.Squares |
| integerSquareRootRem | Math.NumberTheory.Powers.Squares |
| integerSquareRootRem' | Math.NumberTheory.Powers.Squares |
| integerWordPower | Math.NumberTheory.Powers.Integer |
| intLog2 | Math.NumberTheory.Logarithms |
| intLog2' | Math.NumberTheory.Logarithms |
| invertMod | Math.NumberTheory.Moduli |
| isCertifiedPrime | Math.NumberTheory.Primes.Testing, Math.NumberTheory.Primes |
| isCube | Math.NumberTheory.Powers.Cubes, Math.NumberTheory.Powers |
| isCube' | Math.NumberTheory.Powers.Cubes |
| isFermatPP | Math.NumberTheory.Primes.Testing, Math.NumberTheory.Primes |
| isFourthPower | Math.NumberTheory.Powers.Fourth, Math.NumberTheory.Powers |
| isFourthPower' | Math.NumberTheory.Powers.Fourth |
| isKthPower | Math.NumberTheory.Powers.General, Math.NumberTheory.Powers |
| isPerfectPower | Math.NumberTheory.Powers.General, Math.NumberTheory.Powers |
| isPossibleCube | Math.NumberTheory.Powers.Cubes |
| isPossibleFourthPower | Math.NumberTheory.Powers.Fourth |
| isPossibleSquare | Math.NumberTheory.Powers.Squares |
| isPossibleSquare2 | Math.NumberTheory.Powers.Squares |
| isPrime | |
| 1 (Function) | Math.NumberTheory.Primes.Testing, Math.NumberTheory.Primes |
| 2 (Function) | Math.NumberTheory.GaussianIntegers |
| isqrtA | Math.NumberTheory.Powers.Squares.Internal |
| isSquare | Math.NumberTheory.Powers.Squares, Math.NumberTheory.Powers |
| isSquare' | Math.NumberTheory.Powers.Squares |
| isStrongFermatPP | Math.NumberTheory.Primes.Testing, Math.NumberTheory.Primes |
| jacobi | Math.NumberTheory.Moduli |
| jacobi' | Math.NumberTheory.Moduli |
| jordan | Math.NumberTheory.ArithmeticFunctions |
| jordanA | Math.NumberTheory.ArithmeticFunctions |
| karatsubaSqrt | Math.NumberTheory.Powers.Squares.Internal |
| largeFactor | Math.NumberTheory.Primes.Testing.Certificates |
| largePFPower | Math.NumberTheory.Powers.General |
| liouville | Math.NumberTheory.ArithmeticFunctions |
| liouvilleA | Math.NumberTheory.ArithmeticFunctions |
| Lucas | Math.NumberTheory.Primes.Testing.Certificates |
| lucas | Math.NumberTheory.Lucas |
| lucasPair | Math.NumberTheory.Lucas |
| millerRabinV | Math.NumberTheory.Primes.Testing, Math.NumberTheory.Primes |
| modG | Math.NumberTheory.GaussianIntegers |
| moebius | |
| 1 (Function) | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| 2 (Function) | Math.NumberTheory.ArithmeticFunctions |
| moebiusA | Math.NumberTheory.ArithmeticFunctions |
| moebiusFromCanonical | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| montgomeryFactorisation | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| multiplicative | Math.NumberTheory.ArithmeticFunctions |
| norm | Math.NumberTheory.GaussianIntegers |
| nthPrime | Math.NumberTheory.Primes.Counting, Math.NumberTheory.Primes |
| nthPrimeApprox | Math.NumberTheory.Primes.Counting, Math.NumberTheory.Primes |
| nthPrimeApproxUnderestimateLimit | Math.NumberTheory.Primes.Counting, Math.NumberTheory.Primes |
| nthPrimeMaxArg | Math.NumberTheory.Primes.Counting, Math.NumberTheory.Primes |
| Obvious | Math.NumberTheory.Primes.Testing.Certificates |
| Pock | Math.NumberTheory.Primes.Testing.Certificates |
| powerMod | Math.NumberTheory.Moduli, Math.NumberTheory.Powers |
| powerMod' | Math.NumberTheory.Moduli |
| powerModInteger | Math.NumberTheory.Moduli |
| powerModInteger' | 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 |
| quotG | Math.NumberTheory.GaussianIntegers |
| quotRemG | Math.NumberTheory.GaussianIntegers |
| real | Math.NumberTheory.GaussianIntegers |
| remG | Math.NumberTheory.GaussianIntegers |
| runFunction | Math.NumberTheory.ArithmeticFunctions |
| secondDivisor | Math.NumberTheory.Primes.Testing.Certificates |
| sieveCarmichael | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| sieveFactor | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| sieveFrom | |
| 1 (Function) | Math.NumberTheory.Primes.Heap |
| 2 (Function) | Math.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes |
| sieveTotient | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| sigma | |
| 1 (Function) | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| 2 (Function) | Math.NumberTheory.ArithmeticFunctions |
| sigmaA | Math.NumberTheory.ArithmeticFunctions |
| sigmaFromCanonical | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| smallFactor | Math.NumberTheory.Primes.Testing.Certificates |
| smallFactors | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| smallOmega | Math.NumberTheory.ArithmeticFunctions |
| smallOmegaA | Math.NumberTheory.ArithmeticFunctions |
| sqrtModF | Math.NumberTheory.Moduli |
| sqrtModFList | Math.NumberTheory.Moduli |
| sqrtModP | Math.NumberTheory.Moduli |
| sqrtModP' | Math.NumberTheory.Moduli |
| sqrtModPList | Math.NumberTheory.Moduli |
| sqrtModPP | Math.NumberTheory.Moduli |
| sqrtModPPList | Math.NumberTheory.Moduli |
| stdGenFactorisation | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| stepFactorisation | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| tau | |
| 1 (Function) | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| 2 (Function) | Math.NumberTheory.ArithmeticFunctions |
| tauA | Math.NumberTheory.ArithmeticFunctions |
| tauFromCanonical | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| tonelliShanks | Math.NumberTheory.Moduli |
| totient | |
| 1 (Function) | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| 2 (Function) | Math.NumberTheory.ArithmeticFunctions |
| totientA | Math.NumberTheory.ArithmeticFunctions |
| totientFromCanonical | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| TotientSieve | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| totientSieve | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| totientSum | |
| 1 (Function) | Math.NumberTheory.MoebiusInversion |
| 2 (Function) | Math.NumberTheory.MoebiusInversion.Int |
| trialDivisionPrimeTo | Math.NumberTheory.Primes.Testing, Math.NumberTheory.Primes |
| trialDivisionTo | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| UniqueFactorisation | Math.NumberTheory.UniqueFactorisation |
| unPrime | Math.NumberTheory.UniqueFactorisation |
| verifyCompositenessArgument | Math.NumberTheory.Primes.Testing.Certificates |
| verifyPrimalityArgument | Math.NumberTheory.Primes.Testing.Certificates |
| wordLog2 | Math.NumberTheory.Logarithms |
| wordLog2' | Math.NumberTheory.Logarithms |
| ι | Math.NumberTheory.GaussianIntegers |
| λ | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| μ | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| σ | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| τ | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |
| φ | Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes |