Cat::SemiGroup
-- the category
of semi-groupsCat::SemiGroup
represents the category of
semi-groups.
Cat::SemiGroup()
Cat::BaseCategory
Cat::SemiGroup
represents the category of
non-abelian semi-groups, where the group operation is written as
multiplication. Hence a Cat::SemiGroup
is a set with an
associative operation *
(_mult
).+
have
category Cat::AbelianSemiGroup
._mult(dom x...)
_power(dom x, Type::PosInt n)
n
-fold product of x
. The
implementation provided does ``repeated squaring''.