AbelianMonoidΒΆ

catdef.spad line 37

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
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
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