| ids | Math.NumberTheory.Quadratic.EisensteinIntegers |
| imag | |
| 1 (Function) | Math.NumberTheory.Quadratic.GaussianIntegers, Math.NumberTheory.GaussianIntegers |
| 2 (Function) | Math.NumberTheory.Quadratic.EisensteinIntegers |
| 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 |
| 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, 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 |
| isMultElement | Math.NumberTheory.Moduli.Class, Math.NumberTheory.Moduli |
| 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.Quadratic.GaussianIntegers, Math.NumberTheory.GaussianIntegers |
| 3 (Function) | Math.NumberTheory.Quadratic.EisensteinIntegers |
| 4 (Function) | Math.NumberTheory.UniqueFactorisation |
| isPrimitiveRoot | Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| isPrimitiveRoot' | Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| isSquare | Math.NumberTheory.Powers.Squares, Math.NumberTheory.Powers |
| isSquare' | Math.NumberTheory.Powers.Squares |
| isStrongFermatPP | Math.NumberTheory.Primes.Testing, Math.NumberTheory.Primes |