RepeatedSquaring(S)

defaults.spad line 1 [edit on github]

• S : SetCategory with

  * : (%, %) -> %

Implements exponentiation by repeated squaring

expt : (S, PositiveInteger) -> S

expt(r, i) computes r^i by repeated squaring