SemiGroup

catdef.spad line 1416 [edit on github]

the class of all multiplicative semigroups, i.e. a set with an associative operation *.

* : (%, %) -> %

from Magma

= : (%, %) -> Boolean

from BasicType

^ : (%, PositiveInteger) -> %

from Magma

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

latex : % -> String

from SetCategory

leftPower : (%, PositiveInteger) -> %

from Magma

rightPower : (%, PositiveInteger) -> %

from Magma

~= : (%, %) -> Boolean

from BasicType

CoercibleTo(OutputForm)

Magma

SetCategory

BasicType