Cat::AbelianGroup
-- the
category of abelian groupsCat::AbelianGroup
represents the category of abelian
groups.
Cat::AbelianGroup()
Cat::CancellationAbelianMonoid
Cat::AbelianGroup
is an abelian monoid with
cancellation law where the operation +
is invertible._negate(dom x)
x
.equal(dom x, dom
y)
TRUE
iff x
is equal to
y
. This implementation tests if x
minus
y
is zero, using the method "iszero"
.intmult(dom x, DOM_INT n)
n
times x
.
This method is implemented like ``repeated squaring'' using the domains
method "_plus"
._subtract(dom x, dom
y)
x
minus y
by adding
x
and the opposite of y
.