Numeric.Additive.Class
class Additive r
sum1
class Abelian r
class Idempotent r
sinnum1pIdempotent
class Partitionable m