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::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.

Was this topic helpful?