Cat::AbelianSemiGroup
-- the category of abelian semi-groupsCat::AbelianSemiGroup
represents the category of
abelian semi-groups.
Cat::AbelianSemiGroup()
Cat::BaseCategory
Cat::AbelianSemiGroup
represents the category of
abelian semi-groups where the operation is written as addition. Hence
an Cat::AbelianSemiGroup
is a set with an associative and
commutative operation +
(_plus
).*
have category Cat::SemiGroup
._plus(dom x...)
intmult(dom x, Type::PosInt n)
n
-fold sum of x
. This method
is implemented like ``repeated squaring'' using the domains method
"_plus"
.