MagmaWithZero

naalgc.spad line 123 [edit on github]

The category of magmas with 0. Axioms: for all x we have 0*x = x*0 = 0.

0: %

from SetWithZero

*: (%, %) -> %

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

sample: %

from SetWithZero

zero?: % -> Boolean

from SetWithZero

BasicType

CoercibleTo OutputForm

Magma

SetCategory

SetWithZero