SemiGroupΒΆ

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

latex: % -> String

from SetCategory

leftPower: (%, PositiveInteger) -> %

from Magma

rightPower: (%, PositiveInteger) -> %

from Magma

BasicType

CoercibleTo OutputForm

Magma

SetCategory