Ax::normalRep
-- the axiom of
normal representationAx::normalRep
states that an abelian monoid has a
canonically representation of its zero element.
Ax::normalRep()
Ax::normalRep
is used to state that an
abelian monoid has a canonically representation of its zero element,
i.e., that there is only one unique expression to represent zero.Ax::normalRep
holds for a domain
dom
, one may test for zero by comparing an element with
dom::zero
using the system function _equal
.