Documentation

This is machine translation

Translated by Microsoft
Mouse over text to see original. Click the button below to return to the English verison of the page.

Ax::normalRep

Axiom of normal representation

Description

Ax::normalRep states that an abelian monoid has a canonical representation of its zero element, i.e., that there is only one unique expression to represent zero.

If the axiom Ax::normalRep holds for a domain dom, one may test for zero by comparing an element with dom::zero using the system function _equal.

Was this topic helpful?