Axioms and axiom constructors implemented in MuPAD®


MuPAD notebooks will be removed in a future release. Use MATLAB® live scripts instead.

To convert a MuPAD notebook file to a MATLAB live script file, see convertMuPADNotebook. MATLAB live scripts support most MuPAD functionality, although there are some differences. For more information, see Convert MuPAD Notebooks to MATLAB Live Scripts.

MuPAD Axioms

Ax::canonicalOrderAxiom of canonically ordered sets
Ax::canonicalRepAxiom of canonical representation
Ax::canonicalUnitNormalAxiom of canonical unit normals
Ax::closedUnitNormalsAxiom of closed unit normals
Ax::efficientOperationAxiom of efficient operations
Ax::indetElementsAxiom that indeterminates may be elements
Ax::normalRepAxiom of normal representation
Ax::noZeroDivisorsAxiom of rings with no zero divisor
Ax::systemRepAxiom of façade domains



Use only in the MuPAD Notebook Interface.