Cat::AbelianGroup -- the
category of abelian groups
IntroductionCat::AbelianGroup represents the category of abelian
groups.
Generating
the categoryCat::AbelianGroup()
Cat::CancellationAbelianMonoid
DetailsCat::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.