Axiom of canonical representation
MuPAD® notebooks will be removed in a future release. Use MATLAB® live scripts instead.
MATLAB live scripts support most MuPAD functionality, though there are some differences. For more information, see Convert MuPAD Notebooks to MATLAB Live Scripts.
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
holds. This is not enforced by the category but must be stated by
the implementor of a domain.