AbelianMonoid
catdef.spad line 37
[edit on github]
The class of multiplicative monoids, i.e. semigroups with an additive identity element.
- * : (NonNegativeInteger, %) -> %
n * x is left-multiplication by a non negative integer
- * : (PositiveInteger, %) -> %
- from AbelianSemiGroup
- + : (%, %) -> %
- from AbelianSemiGroup
- 0 : () -> %
0 is the additive identity element.
- = : (%, %) -> 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.
- ~= : (%, %) -> Boolean
- from BasicType
SetCategory
AbelianSemiGroup
BasicType
CoercibleTo(OutputForm)