- Dr. Alistair Ward
- Exports functions related to perfect powers.
(Just . sqrt)if the specified integer is a square number (AKA perfect square).
(Math.Power.square . sqrt)is expensive, so the modulus of the operand is tested first, in an attempt to prove it isn't a perfect square. The set of tests, and the valid moduli within each test, are ordered to maximize the rate of failure-detection.
- An integer
(> 1)which can be expressed as an integral power
(> 1)of a smaller natural number.
- CAVEAT: zero and one are normally excluded from this set.
- A generalisation of the concept of perfect squares, in which only the exponent '2' is significant.