AbelianSemiGroup

catdef.spad line 78 [edit on github]

the class of all additive (commutative) semigroups, i.e. a set with a commutative and associative operation +.

*: (PositiveInteger, %) -> %

n*x computes the left-multiplication of x by the positive integer n. This is equivalent to adding x to itself n times.

+: (%, %) -> %

x+y computes the sum of x and y.

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

latex: % -> String

from SetCategory

BasicType

CoercibleTo OutputForm

SetCategory