Factory.Math.Power

AUTHOR

Dr. Alistair Ward

DESCRIPTION

Exports functions involving integral powers.

Functions

square :: Num n => n -> n

Mainly for convenience.

squaresFrom

Arguments

:: (Enum n, Num n)

=> n

Lower bound.

-> [(n, n)]

[(n, n^2)] .

• Iteratively generate sequential squares, from the specified initial value, based on the fact that (x + 1)^2 = x^2 + 2 * x + 1.
• The initial value doesn't need to be either positive or integral.

cube :: Num n => n -> n

Just for convenience.

cubeRoot :: Double -> Double

Just for convenience.

raiseModulo

Arguments

:: (Integral i, Integral power, Show power)

=> i

Base.

-> power

-> i

Modulus.

-> i

Result.

• Raise an arbitrary number to the specified positive integral power, using modular arithmetic.
• Implements exponentiation as a sequence of either squares or multiplications by the base; http://en.wikipedia.org/wiki/Exponentiation_by_squaring.
• http://en.wikipedia.org/wiki/Modular_exponentiation.