Documentation Center

  • Trial Software
  • Product Updates

Cat::OrderedSet

Category of ordered sets

Description

Cat::OrderedSet represents the category of ordered sets.

An Cat::OrderedSet is a set with a (complete) order relation < (_less).

Use the axiom Ax::canonicalOrder to state that elements of a domain are canonically ordered as MuPAD® expressions (i.e. ordered with respect to the kernel function _less).

Methods

expand all

Basic Methods

_less — Compare if element is less

_less(x, y)

An implementation is provided if this domain has axiom Ax::canonicalOrder.

Mathematical Methods

_leequal — Compare if element is less or equal

_leequal(x, y)

The implementation provided uses the methods "_less" and "equal".

Was this topic helpful?