Semiring

ring

sum

AdditiveMonoid AdditiveMonoidFunctions

sumN

AdditiveGroup AdditiveMonoid AdditiveSemigroup AdditiveSemigroupFunctions