SetWithZero

catdef.spad line 1390 [edit on github]

Sets with distinuished element 0. This category is a common ancestor for AbelianMonoid and MagmaWithZero.

0: %

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

latex: % -> String

from SetCategory

sample: %

sample yields a value of type %

zero?: % -> Boolean

zero?(x) tests if x is equal to 0.

BasicType

CoercibleTo OutputForm

SetCategory