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.


Axioms and axiom constructors implemented in MuPAD®

MuPAD Axioms

Ax::canonicalOrder Axiom of canonically ordered sets
Ax::canonicalRep Axiom of canonical representation
Ax::canonicalUnitNormal Axiom of canonical unit normals
Ax::closedUnitNormals Axiom of closed unit normals
Ax::efficientOperation Axiom of efficient operations
Ax::indetElements Axiom that indeterminates may be elements
Ax::normalRep Axiom of normal representation
Ax::noZeroDivisors Axiom of rings with no zero divisor
Ax::systemRep Axiom of façade domains



Use only in the MuPAD Notebook Interface.

Was this topic helpful?