Function maths_traits::algebra::group_like::repeated_doubling

pub fn repeated_doubling<E: Natural, R: AddMonoid>(b: R, p: E) -> R

Multiplies a monoid by a positive integer using repeated doublings