| :+ | |
| 1 (Data Constructor) | Math.NumberTheory.Quadratic.GaussianIntegers |
| 2 (Data Constructor) | Math.NumberTheory.Quadratic.EisensteinIntegers |
| additive | Math.NumberTheory.ArithmeticFunctions |
| additiveSieveBlockConfig | Math.NumberTheory.ArithmeticFunctions.SieveBlock |
| allChars | Math.NumberTheory.DirichletCharacters |
| approxPrimeCount | Math.NumberTheory.Primes.Counting |
| approxPrimeCountOverestimateLimit | Math.NumberTheory.Primes.Counting |
| ArithmeticFunction | |
| 1 (Type/Class) | Math.NumberTheory.ArithmeticFunctions |
| 2 (Data Constructor) | Math.NumberTheory.ArithmeticFunctions |
| asSetOfPreimages | Math.NumberTheory.ArithmeticFunctions.Inverse |
| associates | Math.NumberTheory.Quadratic.EisensteinIntegers |
| bailliePSW | Math.NumberTheory.Primes.Testing |
| bernoulli | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| betas | Math.NumberTheory.Zeta |
| betasOdd | Math.NumberTheory.Zeta |
| bigOmega | Math.NumberTheory.ArithmeticFunctions |
| bigOmegaA | Math.NumberTheory.ArithmeticFunctions |
| binomial | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| binomialDiagonal | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| binomialFactors | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| binomialLine | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| binomialRotated | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| carmichael | Math.NumberTheory.ArithmeticFunctions |
| carmichaelA | Math.NumberTheory.ArithmeticFunctions |
| CG2 | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| CG4 | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| CGDoubleOddPrimePower | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| CGOddPrimePower | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| characterNumber | Math.NumberTheory.DirichletCharacters |
| chinese | Math.NumberTheory.Moduli.Chinese, Math.NumberTheory.Moduli |
| chineseCoprime | Math.NumberTheory.Moduli.Chinese, Math.NumberTheory.Moduli |
| chineseCoprimeSomeMod | Math.NumberTheory.Moduli.Chinese, Math.NumberTheory.Moduli |
| chineseRemainder | Math.NumberTheory.Moduli.Chinese, Math.NumberTheory.Moduli |
| chineseRemainder2 | Math.NumberTheory.Moduli.Chinese, Math.NumberTheory.Moduli |
| chineseSomeMod | Math.NumberTheory.Moduli.Chinese, Math.NumberTheory.Moduli |
| conjugate | |
| 1 (Function) | Math.NumberTheory.Quadratic.GaussianIntegers |
| 2 (Function) | Math.NumberTheory.Quadratic.EisensteinIntegers |
| coprime | Math.NumberTheory.Euclidean |
| Coprimes | Math.NumberTheory.Euclidean.Coprimes |
| CyclicGroup | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| cyclicGroup | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| cyclicGroupFromFactors | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| cyclicGroupFromModulo | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| cyclicGroupToSFactors | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| degree | Math.NumberTheory.Euclidean |
| DirichletCharacter | Math.NumberTheory.DirichletCharacters |
| discreteLogarithm | Math.NumberTheory.Moduli.Multiplicative, Math.NumberTheory.Moduli.DiscreteLogarithm, Math.NumberTheory.Moduli |
| divide | Math.NumberTheory.Euclidean |
| divisorCount | Math.NumberTheory.ArithmeticFunctions |
| divisors | Math.NumberTheory.ArithmeticFunctions |
| divisorsA | Math.NumberTheory.ArithmeticFunctions |
| divisorsList | Math.NumberTheory.ArithmeticFunctions |
| divisorsListA | Math.NumberTheory.ArithmeticFunctions |
| divisorsSmall | Math.NumberTheory.ArithmeticFunctions |
| divisorsSmallA | Math.NumberTheory.ArithmeticFunctions |
| divisorsTo | Math.NumberTheory.ArithmeticFunctions |
| divisorsToA | Math.NumberTheory.ArithmeticFunctions |
| EisensteinInteger | Math.NumberTheory.Quadratic.EisensteinIntegers |
| Euclidean | Math.NumberTheory.Euclidean |
| euler | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| eulerian1 | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| eulerian2 | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| eulerPolyAt1 | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| eval | Math.NumberTheory.DirichletCharacters |
| evalAll | Math.NumberTheory.DirichletCharacters |
| evalGeneral | Math.NumberTheory.DirichletCharacters |
| 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.Euclidean |
| factorBack | Math.NumberTheory.Primes |
| factorial | Math.NumberTheory.Recurrences.Linear, Math.NumberTheory.Recurrences |
| factorialFactors | Math.NumberTheory.Recurrences.Linear, Math.NumberTheory.Recurrences |
| factorise | Math.NumberTheory.Primes |
| faulhaberPoly | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| fibonacci | Math.NumberTheory.Recurrences.Linear, Math.NumberTheory.Recurrences |
| fibonacciPair | Math.NumberTheory.Recurrences.Linear, Math.NumberTheory.Recurrences |
| findPrime | |
| 1 (Function) | Math.NumberTheory.Quadratic.GaussianIntegers |
| 2 (Function) | Math.NumberTheory.Quadratic.EisensteinIntegers |
| fromFactors | Math.NumberTheory.Prefactored |
| fromList | Math.NumberTheory.SmoothNumbers |
| fromRootOfUnity | Math.NumberTheory.DirichletCharacters |
| fromTable | Math.NumberTheory.DirichletCharacters |
| fromValue | Math.NumberTheory.Prefactored |
| GaussianInteger | Math.NumberTheory.Quadratic.GaussianIntegers |
| gcd | Math.NumberTheory.Euclidean |
| GcdDomain | Math.NumberTheory.Euclidean |
| generalInversion | Math.NumberTheory.MoebiusInversion |
| generalLucas | Math.NumberTheory.Recurrences.Linear, Math.NumberTheory.Recurrences |
| getMod | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| getNatMod | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| getNatVal | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| getPrimitiveChar | Math.NumberTheory.DirichletCharacters |
| getRealChar | Math.NumberTheory.DirichletCharacters |
| getVal | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| highestPower | Math.NumberTheory.Powers.General, Math.NumberTheory.Powers |
| ids | Math.NumberTheory.Quadratic.EisensteinIntegers |
| imag | |
| 1 (Function) | Math.NumberTheory.Quadratic.GaussianIntegers |
| 2 (Function) | Math.NumberTheory.Quadratic.EisensteinIntegers |
| indexToChar | Math.NumberTheory.DirichletCharacters |
| indicesToChars | Math.NumberTheory.DirichletCharacters |
| induced | Math.NumberTheory.DirichletCharacters |
| Infinity | Math.NumberTheory.ArithmeticFunctions.Inverse |
| InfMod | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| insert | Math.NumberTheory.Euclidean.Coprimes |
| 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 |
| 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 |
| inverseJordan | Math.NumberTheory.ArithmeticFunctions.Inverse |
| inverseSigma | Math.NumberTheory.ArithmeticFunctions.Inverse |
| inverseSigmaK | Math.NumberTheory.ArithmeticFunctions.Inverse |
| inverseTotient | Math.NumberTheory.ArithmeticFunctions.Inverse |
| invertGroup | Math.NumberTheory.Moduli.Multiplicative, Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| invertMod | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| invertSomeMod | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| isCertifiedPrime | Math.NumberTheory.Primes.Testing |
| isCube | Math.NumberTheory.Powers.Cubes, Math.NumberTheory.Powers |
| isCube' | Math.NumberTheory.Powers.Cubes |
| isFermatPP | Math.NumberTheory.Primes.Testing |
| isFourthPower | Math.NumberTheory.Powers.Fourth, Math.NumberTheory.Powers |
| isFourthPower' | Math.NumberTheory.Powers.Fourth |
| isKthPower | Math.NumberTheory.Powers.General, Math.NumberTheory.Powers |
| isMultElement | Math.NumberTheory.Moduli.Multiplicative, Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| isNFree | Math.NumberTheory.ArithmeticFunctions |
| isNFreeA | Math.NumberTheory.ArithmeticFunctions |
| 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 |
| 2 (Function) | Math.NumberTheory.Primes |
| isPrimitive | Math.NumberTheory.DirichletCharacters |
| isPrimitiveRoot | Math.NumberTheory.Moduli.Multiplicative, Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| isPrincipal | Math.NumberTheory.DirichletCharacters |
| isRealCharacter | Math.NumberTheory.DirichletCharacters |
| isSmooth | Math.NumberTheory.SmoothNumbers |
| isSquare | Math.NumberTheory.Powers.Squares, Math.NumberTheory.Powers |
| isSquare' | Math.NumberTheory.Powers.Squares |
| isStrongFermatPP | Math.NumberTheory.Primes.Testing |
| isUnit | Math.NumberTheory.Euclidean |
| jacobi | Math.NumberTheory.Moduli.Jacobi, Math.NumberTheory.Moduli.Sqrt, Math.NumberTheory.Moduli |
| jacobiCharacter | Math.NumberTheory.DirichletCharacters |
| JacobiSymbol | Math.NumberTheory.Moduli.Jacobi, Math.NumberTheory.Moduli.Sqrt, Math.NumberTheory.Moduli |
| jordan | Math.NumberTheory.ArithmeticFunctions |
| jordanA | Math.NumberTheory.ArithmeticFunctions |
| KnownNat | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| lah | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| largePFPower | Math.NumberTheory.Powers.General |
| lcm | Math.NumberTheory.Euclidean |
| liouville | Math.NumberTheory.ArithmeticFunctions |
| liouvilleA | Math.NumberTheory.ArithmeticFunctions |
| lucas | Math.NumberTheory.Recurrences.Linear, Math.NumberTheory.Recurrences |
| lucasPair | Math.NumberTheory.Recurrences.Linear, Math.NumberTheory.Recurrences |
| makePrimitive | Math.NumberTheory.DirichletCharacters |
| MaxNatural | |
| 1 (Type/Class) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| 2 (Data Constructor) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| MaxWord | |
| 1 (Type/Class) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| 2 (Data Constructor) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| mertens | Math.NumberTheory.ArithmeticFunctions.Mertens |
| millerRabinV | Math.NumberTheory.Primes.Testing |
| MinNatural | |
| 1 (Type/Class) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| 2 (Data Constructor) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| MinusOne | Math.NumberTheory.Moduli.Jacobi, Math.NumberTheory.Moduli.Sqrt, Math.NumberTheory.Moduli |
| MinWord | |
| 1 (Type/Class) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| 2 (Data Constructor) | Math.NumberTheory.ArithmeticFunctions.Inverse |
| Mod | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| modulo | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| Moebius | Math.NumberTheory.ArithmeticFunctions.Moebius, Math.NumberTheory.ArithmeticFunctions |
| moebius | Math.NumberTheory.ArithmeticFunctions |
| moebiusA | Math.NumberTheory.ArithmeticFunctions |
| MoebiusN | Math.NumberTheory.ArithmeticFunctions.Moebius, Math.NumberTheory.ArithmeticFunctions |
| MoebiusP | Math.NumberTheory.ArithmeticFunctions.Moebius, Math.NumberTheory.ArithmeticFunctions |
| MoebiusZ | Math.NumberTheory.ArithmeticFunctions.Moebius, Math.NumberTheory.ArithmeticFunctions |
| multElement | Math.NumberTheory.Moduli.Multiplicative, Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| multiplicative | Math.NumberTheory.ArithmeticFunctions |
| multiplicativeSieveBlockConfig | Math.NumberTheory.ArithmeticFunctions.SieveBlock |
| MultMod | Math.NumberTheory.Moduli.Multiplicative, Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| nextPrime | Math.NumberTheory.Primes |
| nFrees | Math.NumberTheory.ArithmeticFunctions.NFreedom, Math.NumberTheory.ArithmeticFunctions |
| nFreesBlock | Math.NumberTheory.ArithmeticFunctions.NFreedom, Math.NumberTheory.ArithmeticFunctions |
| NonZero | Math.NumberTheory.DirichletCharacters |
| norm | |
| 1 (Function) | Math.NumberTheory.Quadratic.GaussianIntegers |
| 2 (Function) | Math.NumberTheory.Quadratic.EisensteinIntegers |
| nthPrime | Math.NumberTheory.Primes.Counting |
| nthPrimeApprox | Math.NumberTheory.Primes.Counting |
| nthPrimeApproxUnderestimateLimit | Math.NumberTheory.Primes.Counting |
| One | Math.NumberTheory.Moduli.Jacobi, Math.NumberTheory.Moduli.Sqrt, Math.NumberTheory.Moduli |
| orderChar | Math.NumberTheory.DirichletCharacters |
| OrZero | Math.NumberTheory.DirichletCharacters |
| orZeroToNum | Math.NumberTheory.DirichletCharacters |
| partition | Math.NumberTheory.Recurrences |
| powMod | |
| 1 (Function) | Math.NumberTheory.Powers.Modular, Math.NumberTheory.Powers |
| 2 (Function) | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| powModInt | Math.NumberTheory.Powers.Modular |
| powModWord | Math.NumberTheory.Powers.Modular |
| powSomeMod | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| precPrime | Math.NumberTheory.Primes |
| Prefactored | Math.NumberTheory.Prefactored |
| prefFactors | Math.NumberTheory.Prefactored |
| prefValue | Math.NumberTheory.Prefactored |
| Prime | Math.NumberTheory.Primes |
| primeCount | Math.NumberTheory.Primes.Counting |
| primeCountMaxArg | Math.NumberTheory.Primes.Counting |
| primes | |
| 1 (Function) | Math.NumberTheory.Primes |
| 2 (Function) | Math.NumberTheory.Quadratic.GaussianIntegers |
| 3 (Function) | Math.NumberTheory.Quadratic.EisensteinIntegers |
| PrimitiveCharacter | Math.NumberTheory.DirichletCharacters |
| PrimitiveRoot | Math.NumberTheory.Moduli.Multiplicative, Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| principalChar | Math.NumberTheory.DirichletCharacters |
| proofFromCyclicGroup | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| proofFromSFactors | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| quot | Math.NumberTheory.Euclidean |
| quotRem | Math.NumberTheory.Euclidean |
| ramanujan | Math.NumberTheory.ArithmeticFunctions |
| ramanujanA | Math.NumberTheory.ArithmeticFunctions |
| real | |
| 1 (Function) | Math.NumberTheory.Quadratic.GaussianIntegers |
| 2 (Function) | Math.NumberTheory.Quadratic.EisensteinIntegers |
| RealCharacter | Math.NumberTheory.DirichletCharacters |
| rem | Math.NumberTheory.Euclidean |
| RootOfUnity | |
| 1 (Type/Class) | Math.NumberTheory.DirichletCharacters |
| 2 (Data Constructor) | Math.NumberTheory.DirichletCharacters |
| runFunction | Math.NumberTheory.ArithmeticFunctions |
| runFunctionOnFactors | Math.NumberTheory.ArithmeticFunctions |
| runFunctionOverBlock | Math.NumberTheory.ArithmeticFunctions.SieveBlock |
| runMoebius | Math.NumberTheory.ArithmeticFunctions.Moebius, Math.NumberTheory.ArithmeticFunctions |
| sbcAppend | Math.NumberTheory.ArithmeticFunctions.SieveBlock |
| sbcEmpty | Math.NumberTheory.ArithmeticFunctions.SieveBlock |
| sbcFunctionOnPrimePower | Math.NumberTheory.ArithmeticFunctions.SieveBlock |
| SFactors | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| sfactors | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| sfactorsToCyclicGroup | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| sieveBlock | Math.NumberTheory.ArithmeticFunctions.SieveBlock |
| SieveBlockConfig | |
| 1 (Type/Class) | Math.NumberTheory.ArithmeticFunctions.SieveBlock |
| 2 (Data Constructor) | Math.NumberTheory.ArithmeticFunctions.SieveBlock |
| sieveBlockMoebius | Math.NumberTheory.ArithmeticFunctions.Moebius, Math.NumberTheory.ArithmeticFunctions.SieveBlock |
| sieveBlockNFree | Math.NumberTheory.ArithmeticFunctions.NFreedom |
| sieveBlockUnboxed | Math.NumberTheory.ArithmeticFunctions.SieveBlock |
| sigma | Math.NumberTheory.ArithmeticFunctions |
| sigmaA | Math.NumberTheory.ArithmeticFunctions |
| singleton | Math.NumberTheory.Euclidean.Coprimes |
| smallOmega | Math.NumberTheory.ArithmeticFunctions |
| smallOmegaA | Math.NumberTheory.ArithmeticFunctions |
| SmoothBasis | Math.NumberTheory.SmoothNumbers |
| smoothOver | Math.NumberTheory.SmoothNumbers |
| smoothOver' | Math.NumberTheory.SmoothNumbers |
| solveLinear | Math.NumberTheory.Moduli.Equations |
| solveQuadratic | Math.NumberTheory.Moduli.Equations |
| Some | |
| 1 (Type/Class) | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| 2 (Data Constructor) | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| SomeMod | |
| 1 (Type/Class) | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| 2 (Data Constructor) | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| someSFactors | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| splitIntoCoprimes | Math.NumberTheory.Euclidean.Coprimes |
| sqrtsMod | Math.NumberTheory.Moduli.Sqrt, Math.NumberTheory.Moduli |
| sqrtsModFactorisation | Math.NumberTheory.Moduli.Sqrt, Math.NumberTheory.Moduli |
| sqrtsModPrime | Math.NumberTheory.Moduli.Sqrt, Math.NumberTheory.Moduli |
| sqrtsModPrimePower | Math.NumberTheory.Moduli.Sqrt, Math.NumberTheory.Moduli |
| stirling1 | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| stirling2 | Math.NumberTheory.Recurrences.Bilinear, Math.NumberTheory.Recurrences |
| symbolToNum | Math.NumberTheory.Moduli.Jacobi, Math.NumberTheory.Moduli.Sqrt, Math.NumberTheory.Moduli |
| tau | Math.NumberTheory.ArithmeticFunctions |
| tauA | Math.NumberTheory.ArithmeticFunctions |
| toComplex | Math.NumberTheory.DirichletCharacters |
| toRealFunction | Math.NumberTheory.DirichletCharacters |
| toRootOfUnity | Math.NumberTheory.DirichletCharacters |
| totient | Math.NumberTheory.ArithmeticFunctions |
| totientA | Math.NumberTheory.ArithmeticFunctions |
| totientSum | Math.NumberTheory.MoebiusInversion |
| trialDivisionPrimeTo | Math.NumberTheory.Primes.Testing |
| unCoprimes | Math.NumberTheory.Euclidean.Coprimes |
| UniqueFactorisation | Math.NumberTheory.Primes |
| unMaxNatural | Math.NumberTheory.ArithmeticFunctions.Inverse |
| unMaxWord | Math.NumberTheory.ArithmeticFunctions.Inverse |
| unMinNatural | Math.NumberTheory.ArithmeticFunctions.Inverse |
| unMinWord | Math.NumberTheory.ArithmeticFunctions.Inverse |
| unPrime | Math.NumberTheory.Primes |
| unPrimitiveRoot | Math.NumberTheory.Moduli.Multiplicative, Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| unSFactors | Math.NumberTheory.Moduli.Singleton, Math.NumberTheory.Moduli |
| unSmoothBasis | Math.NumberTheory.SmoothNumbers |
| unwrapIntegral | Math.NumberTheory.Euclidean |
| validChar | Math.NumberTheory.DirichletCharacters |
| WithNat | |
| 1 (Type/Class) | Math.NumberTheory.DirichletCharacters |
| 2 (Data Constructor) | Math.NumberTheory.DirichletCharacters |
| WrapIntegral | Math.NumberTheory.Euclidean |
| WrappedIntegral | Math.NumberTheory.Euclidean |
| Zero | |
| 1 (Data Constructor) | Math.NumberTheory.Moduli.Jacobi, Math.NumberTheory.Moduli.Sqrt, Math.NumberTheory.Moduli |
| 2 (Data Constructor) | Math.NumberTheory.DirichletCharacters |
| zetaHurwitz | Math.NumberTheory.Zeta |
| zetas | Math.NumberTheory.Zeta |
| zetasEven | Math.NumberTheory.Zeta |
| ^% | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| ι | Math.NumberTheory.Quadratic.GaussianIntegers |
| ω | Math.NumberTheory.Quadratic.EisensteinIntegers |