AbelianGroup

catdef.spad line 1 [edit on github]

The class of abelian groups, i.e. additive monoids where each element has an additive inverse.

* : (Integer, %) -> %

n*x is the product of x by the integer n.

* : (NonNegativeInteger, %) -> %

from AbelianMonoid

* : (PositiveInteger, %) -> %

from AbelianSemiGroup

+ : (%, %) -> %

from AbelianSemiGroup

- : % -> %

-x is the additive inverse of x.

- : (%, %) -> %

x-y is the difference of x and y i.e. x + (-y).

0 : () -> %

from AbelianMonoid

= : (%, %) -> Boolean

from BasicType

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

latex : % -> String

from SetCategory

opposite? : (%, %) -> Boolean

from AbelianMonoid

sample : () -> %

from AbelianMonoid

subtractIfCan : (%, %) -> Union(%, "failed")

from CancellationAbelianMonoid

zero? : % -> Boolean

from AbelianMonoid

~= : (%, %) -> Boolean

from BasicType

SetCategory

AbelianSemiGroup

BasicType

CoercibleTo(OutputForm)

AbelianMonoid

CancellationAbelianMonoid