Documentation

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.

Ax::normalRep

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.

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?