arithmoi-0.4.0.3: Efficient basic number-theoretic functions. Primes, powers, integer logarithms.

Index

alimitMath.NumberTheory.Primes.Testing.Certificates
approxPrimeCountMath.NumberTheory.Primes.Counting, Math.NumberTheory.Primes
aprimeMath.NumberTheory.Primes.Testing.Certificates
argueCertificateMath.NumberTheory.Primes.Testing.Certificates
argueCompositenessMath.NumberTheory.Primes.Testing.Certificates
arguePrimalityMath.NumberTheory.Primes.Testing.Certificates
AssumptionMath.NumberTheory.Primes.Testing.Certificates
bailliePSWMath.NumberTheory.Primes.Testing, Math.NumberTheory.Primes
BeliefMath.NumberTheory.Primes.Testing.Certificates
binaryGCDMath.NumberTheory.GCD
carmichaelMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
carmichaelFromCanonicalMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
CarmichaelSieveMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
carmichaelSieveMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
CertificateMath.NumberTheory.Primes.Testing.Certificates
certificateFactorisationMath.NumberTheory.Primes.Factorisation.Certified
certifiedFactorisationMath.NumberTheory.Primes.Factorisation.Certified
certifyMath.NumberTheory.Primes.Testing.Certificates
checkCertificateMath.NumberTheory.Primes.Testing.Certificates
checkCompositenessProofMath.NumberTheory.Primes.Testing.Certificates
checkPrimalityProofMath.NumberTheory.Primes.Testing.Certificates
chineseRemainderMath.NumberTheory.Moduli
chineseRemainder2Math.NumberTheory.Moduli
compoMath.NumberTheory.Primes.Testing.Certificates
CompositeMath.NumberTheory.Primes.Testing.Certificates
compositeMath.NumberTheory.Primes.Testing.Certificates
CompositenessArgumentMath.NumberTheory.Primes.Testing.Certificates
CompositenessProofMath.NumberTheory.Primes.Testing.Certificates
coprimeMath.NumberTheory.GCD
coprimeIntMath.NumberTheory.GCD.LowLevel
coprimeInt#Math.NumberTheory.GCD.LowLevel
coprimeWordMath.NumberTheory.GCD.LowLevel
coprimeWord#Math.NumberTheory.GCD.LowLevel
cprimeMath.NumberTheory.Primes.Testing.Certificates
curveFactorisationMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
defaultStdGenFactorisationMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
defaultStdGenFactorisation'Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
DivisionMath.NumberTheory.Primes.Testing.Certificates
divisorCountMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
divisorPowerSumMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
DivisorsMath.NumberTheory.Primes.Testing.Certificates
divisorsMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
divisorsFromCanonicalMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
divisorSumMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
divisorSumFromCanonicalMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
exactCubeRootMath.NumberTheory.Powers.Cubes, Math.NumberTheory.Powers
exactFourthRootMath.NumberTheory.Powers.Fourth, Math.NumberTheory.Powers
exactRootMath.NumberTheory.Powers.General, Math.NumberTheory.Powers
exactSquareRootMath.NumberTheory.Powers.Squares, Math.NumberTheory.Powers
extendedGCDMath.NumberTheory.GCD
factoriseMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
factorise'Math.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
factorListMath.NumberTheory.Primes.Testing.Certificates
FactorSieveMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes.Testing, Math.NumberTheory.Primes
factorSieveMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
FermatMath.NumberTheory.Primes.Testing.Certificates
fermatBaseMath.NumberTheory.Primes.Testing.Certificates
fibonacciMath.NumberTheory.Lucas
fibonacciPairMath.NumberTheory.Lucas
firstDivisorMath.NumberTheory.Primes.Testing.Certificates
fsIsPrimeMath.NumberTheory.Primes.Testing, Math.NumberTheory.Primes
gcdIntMath.NumberTheory.GCD.LowLevel
gcdInt#Math.NumberTheory.GCD.LowLevel
gcdWordMath.NumberTheory.GCD.LowLevel
gcdWord#Math.NumberTheory.GCD.LowLevel
generalInversion 
1 (Function)Math.NumberTheory.MoebiusInversion
2 (Function)Math.NumberTheory.MoebiusInversion.Int
generalLucasMath.NumberTheory.Lucas
highestPowerMath.NumberTheory.Powers.General, Math.NumberTheory.Powers
integerCubeRootMath.NumberTheory.Powers.Cubes, Math.NumberTheory.Powers
integerCubeRoot'Math.NumberTheory.Powers.Cubes
integerFourthRootMath.NumberTheory.Powers.Fourth, Math.NumberTheory.Powers
integerFourthRoot'Math.NumberTheory.Powers.Fourth
integerLog2Math.NumberTheory.Logarithms
integerLog2'Math.NumberTheory.Logarithms
integerLogBaseMath.NumberTheory.Logarithms
integerLogBase'Math.NumberTheory.Logarithms
integerRootMath.NumberTheory.Powers.General, Math.NumberTheory.Powers
integerSquareRootMath.NumberTheory.Powers.Squares, Math.NumberTheory.Powers
integerSquareRoot'Math.NumberTheory.Powers.Squares
intLog2Math.NumberTheory.Logarithms
intLog2'Math.NumberTheory.Logarithms
invertModMath.NumberTheory.Moduli
isCertifiedPrimeMath.NumberTheory.Primes.Testing, Math.NumberTheory.Primes
isCubeMath.NumberTheory.Powers.Cubes, Math.NumberTheory.Powers
isCube'Math.NumberTheory.Powers.Cubes
isFermatPPMath.NumberTheory.Primes.Testing, Math.NumberTheory.Primes
isFourthPowerMath.NumberTheory.Powers.Fourth, Math.NumberTheory.Powers
isFourthPower'Math.NumberTheory.Powers.Fourth
isKthPowerMath.NumberTheory.Powers.General, Math.NumberTheory.Powers
isPerfectPowerMath.NumberTheory.Powers.General, Math.NumberTheory.Powers
isPossibleCubeMath.NumberTheory.Powers.Cubes
isPossibleFourthPowerMath.NumberTheory.Powers.Fourth
isPossibleSquareMath.NumberTheory.Powers.Squares
isPossibleSquare2Math.NumberTheory.Powers.Squares
isPrimeMath.NumberTheory.Primes.Testing, Math.NumberTheory.Primes
isSquareMath.NumberTheory.Powers.Squares, Math.NumberTheory.Powers
isSquare'Math.NumberTheory.Powers.Squares
isStrongFermatPPMath.NumberTheory.Primes.Testing, Math.NumberTheory.Primes
jacobiMath.NumberTheory.Moduli
jacobi'Math.NumberTheory.Moduli
largeFactorMath.NumberTheory.Primes.Testing.Certificates
LucasMath.NumberTheory.Primes.Testing.Certificates
lucasMath.NumberTheory.Lucas
lucasPairMath.NumberTheory.Lucas
millerRabinVMath.NumberTheory.Primes.Testing, Math.NumberTheory.Primes
montgomeryFactorisationMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
nthPrimeMath.NumberTheory.Primes.Counting, Math.NumberTheory.Primes
nthPrimeApproxMath.NumberTheory.Primes.Counting, Math.NumberTheory.Primes
ObviousMath.NumberTheory.Primes.Testing.Certificates
PockMath.NumberTheory.Primes.Testing.Certificates
powerModMath.NumberTheory.Moduli, Math.NumberTheory.Powers
powerMod'Math.NumberTheory.Moduli
powerModIntegerMath.NumberTheory.Moduli
powerModInteger'Math.NumberTheory.Moduli
PrimalityArgumentMath.NumberTheory.Primes.Testing.Certificates
PrimalityProofMath.NumberTheory.Primes.Testing.Certificates
PrimeMath.NumberTheory.Primes.Testing.Certificates
primeCountMath.NumberTheory.Primes.Counting, Math.NumberTheory.Primes
primeListMath.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes
primes 
1 (Function)Math.NumberTheory.Primes.Heap
2 (Function)Math.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes
PrimeSieveMath.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes
primeSieveMath.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes
provenFactorisationMath.NumberTheory.Primes.Factorisation.Certified
psieveFromMath.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes
psieveListMath.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes
secondDivisorMath.NumberTheory.Primes.Testing.Certificates
sieveCarmichaelMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
sieveFactorMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
sieveFrom 
1 (Function)Math.NumberTheory.Primes.Heap
2 (Function)Math.NumberTheory.Primes.Sieve, Math.NumberTheory.Primes
sieveTotientMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
sigmaMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
sigmaFromCanonicalMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
smallFactorMath.NumberTheory.Primes.Testing.Certificates
smallFactorsMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
sqrtModFMath.NumberTheory.Moduli
sqrtModFListMath.NumberTheory.Moduli
sqrtModPMath.NumberTheory.Moduli
sqrtModP'Math.NumberTheory.Moduli
sqrtModPListMath.NumberTheory.Moduli
sqrtModPPMath.NumberTheory.Moduli
sqrtModPPListMath.NumberTheory.Moduli
stdGenFactorisationMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
stepFactorisationMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
tauMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
tauFromCanonicalMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
tonelliShanksMath.NumberTheory.Moduli
totientMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
totientFromCanonicalMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
TotientSieveMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
totientSieveMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
totientSum 
1 (Function)Math.NumberTheory.MoebiusInversion
2 (Function)Math.NumberTheory.MoebiusInversion.Int
trialDivisionPrimeToMath.NumberTheory.Primes.Testing, Math.NumberTheory.Primes
trialDivisionToMath.NumberTheory.Primes.Factorisation, Math.NumberTheory.Primes
verifyCompositenessArgumentMath.NumberTheory.Primes.Testing.Certificates
verifyPrimalityArgumentMath.NumberTheory.Primes.Testing.Certificates
wordLog2Math.NumberTheory.Logarithms
wordLog2'Math.NumberTheory.Logarithms
λ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