\cat::

Категория Абелевых моноидов

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

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

Описание

Cat::AbelianMonoid представляет Абелев моноид.

Cat::AbelianMonoid является Абелевой полугруппой с нейтральным элементом dom::zero согласно операции + (_plus).

Используйте аксиому Ax::normalRep, чтобы утвердить, что нуль всегда представляется уникальным способом (т.е. канонически).

Если Абелев моноид не имеет аксиона Ax::normalRep затем, dom::zero является только одним возможным представлением нейтрального элемента. Абелева полугруппа должна, по крайней мере, иметь метод "iszero", чтобы протестировать на нуль в таком случае.

Аксиомы

Если область имеет Ax::canonicalRep, то Ax::normalRep.

Категории

Cat::AbelianSemiGroup

Записи

"нуль"

Должен содержать нейтральный элемент согласно операции +.

Методы

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

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

intmult(x, n)

iszero(x)

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