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

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

latex : % -> String

from SetCategory

~= : (%, %) -> Boolean

from BasicType

BasicType

SetCategory

CoercibleTo(OutputForm)