Monoid

catdef.spad line 890 [edit on github]

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

* : (%, %) -> %: from Magma

1 : () -> %: from MagmaWithUnit

= : (%, %) -> Boolean: from BasicType

^ : (%, NonNegativeInteger) -> %: from MagmaWithUnit

^ : (%, PositiveInteger) -> %: from Magma

coerce : % -> OutputForm: from CoercibleTo(OutputForm)

latex : % -> String: from SetCategory

leftPower : (%, NonNegativeInteger) -> %: from MagmaWithUnit

leftPower : (%, PositiveInteger) -> %: from Magma

leftRecip : % -> Union(%, "failed"): from MagmaWithUnit

one? : % -> Boolean: from MagmaWithUnit

recip : % -> Union(%, "failed"): from MagmaWithUnit

rightPower : (%, NonNegativeInteger) -> %: from MagmaWithUnit

rightPower : (%, PositiveInteger) -> %: from Magma

rightRecip : % -> Union(%, "failed"): from MagmaWithUnit

sample : () -> %: from MagmaWithUnit

~= : (%, %) -> Boolean: from BasicType

CoercibleTo(OutputForm)