next up previous contents index
Next: binaryExponentiation Up: Arithmetic Previous: times!   Contents   Index


BinaryPowering


Usage

import from BinaryPowering(T, Z)


Parameter Type Description
T ArithmeticType An arithmetic system
Z IntegerType An integer-like type


Description

BinaryPowering provides binary exponentiation of elements of $T$ with exponents in $Z$.


Exports

binaryExponentiation: (T, Z) $\to$ T Binary powering
binaryExponentiation!: (T, Z) $\to$ T In-place binary powering



Subsections

Manuel Bronstein 2004-06-28