Cat::OrderedSet -- the
category of ordered sets
IntroductionCat::OrderedSet represents the category of ordered
sets.
Generating
the categoryCat::OrderedSet()
Cat::BaseCategory
DetailsCat::OrderedSet is a set with a (complete) order
relation < (_less).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)._less(dom x, dom
y)TRUE if
x is less than y.Ax::canonicalOrder._leequal(dom x, dom
y)TRUE if
x is less than or equal to y."_less"
and "equal".max(dom x...)min(dom x...)sort(Type::ListOf(dom) l)l in ascending order.