SemiGroupΒΆ

catdef.spad line 1402 [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

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

hash: % -> SingleInteger

from SetCategory

hashUpdate!: (HashState, %) -> HashState

from SetCategory

latex: % -> String

from SetCategory

leftPower: (%, PositiveInteger) -> %

from Magma

rightPower: (%, PositiveInteger) -> %

from Magma

BasicType

CoercibleTo OutputForm

Magma

SetCategory