RepeatedDoubling(S)

defaults.spad line 27 [edit on github]

• S : SetCategory with

  + : (%, %) -> %

Implements multiplication by repeated addition

double : (PositiveInteger, S) -> S

double(i, r) multiplies r by i using repeated doubling.