Documentation Center

  • Trial Software
  • Product Updates


Axiom of canonically ordered sets


Ax::canonicalOrder states that a domain has an order < (_less) which is defined by the canonical order of the MuPAD® expressions.

This implies that the order of two elements is defined by the system function _less.

Was this topic helpful?