AbelianMonoidΒΆ

catdef.spad line 37 [edit on github]

The class of multiplicative monoids, i.e. semigroups with an additive identity element.

0: %

0 is the additive identity element.

*: (NonNegativeInteger, %) -> %

n * x is left-multiplication by a non negative integer

*: (PositiveInteger, %) -> %

from AbelianSemiGroup

+: (%, %) -> %

from AbelianSemiGroup

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

latex: % -> String

from SetCategory

opposite?: (%, %) -> Boolean

opposite?(x,y) holds if the sum of x and y is 0.

sample: %

sample yields a value of type %

zero?: % -> Boolean

zero?(x) tests if x is equal to 0.

AbelianSemiGroup

BasicType

CoercibleTo OutputForm

SetCategory