Defined to be equivalent to additive.sumn(one, n)
.
Defined to be equivalent to additive.sumn(one, n)
. That is, n
repeated summations of this ring's one
, or -one
if n
is
negative.
This is similar to Semigroup#pow
, except that a pow 0
is defined to be
the multiplicative identity.