RepeatedDoubling SΒΆ

defaults.spad line 28

Implements multiplication by repeated addition

double: (PositiveInteger, S) -> S
double(i, r) multiplies r by i using repeated doubling.