Cat::OrderedSet
-- the
category of ordered setsCat::OrderedSet
represents the category of ordered
sets.
Cat::OrderedSet()
Cat::BaseCategory
Cat::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.