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