Accelerating the pace of engineering and science
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.
Join the conversation