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.