\cat::

Категория упорядоченных множеств

Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.

Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.

Описание

Cat::OrderedSet представляет категорию упорядоченных множеств.

Cat::OrderedSet является набором с (полным) отношением порядка < (_less).

Используйте аксиому Ax::canonicalOrder, чтобы утвердить, что элементы области канонически упорядочены как выражения MuPAD® (т.е. упорядочены относительно функции ядра _less).

Категории

Cat::BaseCategory

Методы

развернуть все

Основные методы

_less(x, y)

Реализация обеспечивается, если эта область имеет аксиому Ax::canonicalOrder.

Математические методы

_leequal(x, y)

Реализация предоставила использованию методы "_less" и "equal".

max(x, …)

min(x, …)

sort(l)

Для просмотра документации необходимо авторизоваться на сайте