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


Was this topic helpful?