This is machine translation

Translated by Microsoft
Mouse over text to see original. Click the button below to return to the English verison of the 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?