-- | -- Module: Math.NumberTheory.Powers -- Copyright: (c) 2011 Daniel Fischer -- Licence: MIT -- Maintainer: Daniel Fischer <daniel.is.fischer@googlemail.com> -- -- Calculating integer roots, modular powers and related things. -- This module reexports the most needed functions from the implementation -- modules. The implementation modules provide some additional functions, -- in particular some unsafe functions which omit some tests for performance -- reasons. -- module Math.NumberTheory.Powers ( -- * Integer Roots -- ** Square roots integerSquareRoot , isSquare , exactSquareRoot -- ** Cube roots , integerCubeRoot , isCube , exactCubeRoot -- ** Fourth roots , integerFourthRoot , isFourthPower , exactFourthRoot -- ** General roots , integerRoot , isKthPower , exactRoot , isPerfectPower , highestPower -- * Modular powers , powMod ) where import Math.NumberTheory.Powers.Squares import Math.NumberTheory.Powers.Cubes import Math.NumberTheory.Powers.Fourth import Math.NumberTheory.Powers.General import Math.NumberTheory.Powers.Modular