Axiom of canonically ordered sets

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::canonicalOrder states that a domain has an order < (_less) which is defined by the canonical order of the MuPAD® expressions.

This implies that the order of two elements is defined by the system function _less.