Cat::AbelianSemiGroup
-- the category of abelian semi-groups
IntroductionCat::AbelianSemiGroup represents the category of
abelian semi-groups.
Generating
the categoryCat::AbelianSemiGroup()
Cat::BaseCategory
DetailsCat::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".