NonAssociativeSemiRngΒΆ

naalgc.spad line 123 [edit on github]

The category of semirings, not necessarily associative, not necessarily commutative, and not necessarily with a 1.

*: (%, %) -> %

from Magma

*: (PositiveInteger, %) -> %

from AbelianSemiGroup

+: (%, %) -> %

from AbelianSemiGroup

=: (%, %) -> Boolean

from BasicType

^: (%, PositiveInteger) -> %

from Magma

~=: (%, %) -> Boolean

from BasicType

antiCommutator: (%, %) -> %

antiCommutator(a, b) returns a*b+b*a.

coerce: % -> OutputForm

from CoercibleTo OutputForm

latex: % -> String

from SetCategory

leftPower: (%, PositiveInteger) -> %

from Magma

rightPower: (%, PositiveInteger) -> %

from Magma

AbelianSemiGroup

BasicType

CoercibleTo OutputForm

Magma

SetCategory