Cat::SemiRing
--
the category of semi-rings
Cat::SemiRing
represents the category of semi-rings.
Cat::SemiRing()
Cat::SemiRng
,
Cat::AbelianMonoid
,
Cat::Monoid
,
Cat::SemiRing
is essentially a ring (Cat::Ring
), except that
the operation +
(_plus
) is not required to be
invertible. In other words, this is an abelian monoid according
to the operation +
and a non-abelian monoid according to the
operation *
(_mult
) where in addition the two
distributive laws a (b + c) = a b + a c and (a + b) c = a c + b
c hold.
Cat::SemiRng
.Cat::SemiRing
is not quite a left module over itself since the
category Cat::LeftModule
requires the domain to be an
abelian group according to the operation +
(_plus
).
Cat::SemiRing
is a new category
MuPAD Combinat, an open source algebraic combinatorics package