\cat::
Категория звонков без модуля
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.
Cat::Rng
представляет категорию звонков без модуля.
Cat::Rng
является звонком без модуля, т.е. Абелевой группой согласно операции +
(_plus
) и неабелева полугруппа согласно операции *
(_mult
), где, кроме того, эти два дистрибутивных закона a (b + c) = a b + a c и (a + b) c = a c + b c содержат.
Используйте аксиому Ax::noZeroDivisors
, чтобы утвердить, что нет никаких делителей нуля согласно *
, т.е. что продуктом ненулевых элементов никогда не является нуль.