\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
.
"нуль" | Должен содержать нейтральный элемент согласно операции |