| ids | Math.NumberTheory.Quadratic.EisensteinIntegers |
| imag | |
| 1 (Function) | Math.NumberTheory.Quadratic.GaussianIntegers |
| 2 (Function) | Math.NumberTheory.Quadratic.EisensteinIntegers |
| 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 |
| intertwine | Math.NumberTheory.Zeta |
| inverseSigma | Math.NumberTheory.ArithmeticFunctions.Inverse |
| inverseTotient | Math.NumberTheory.ArithmeticFunctions.Inverse |
| invertGroup | 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.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, Math.NumberTheory.UniqueFactorisation |
| isPrimitiveRoot | Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| isPrimitiveRoot' | Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| isSmooth | Math.NumberTheory.SmoothNumbers |
| isSquare | Math.NumberTheory.Powers.Squares, Math.NumberTheory.Powers |
| isSquare' | Math.NumberTheory.Powers.Squares |
| isStrongFermatPP | Math.NumberTheory.Primes.Testing |