Axiom of normal representation
MuPAD® notebooks are not recommended. 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::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
one may test for zero by comparing an element with
the system function