This is machine translation

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

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.


Axiom of canonical representation


Ax::canonicalRep states that domain elements are canonically represented, i.e. that each element of the domain has only one unique expression which represents it.

This axiom implies that for an abelian monoid the axiom Ax::normalRep also holds. This is not enforced by the category but must be stated by the implementor of a domain.

Was this topic helpful?