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

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

~= : (%, %) -> Boolean

from BasicType

CoercibleTo(OutputForm)

Magma

SetCategory

AbelianSemiGroup

BasicType