Cat::Rng

Категория звонков без модуля

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

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

Описание

Cat::Rng представляет категорию звонков без модуля.

Cat::Rng звонок без модуля, т.е. Абелева группа согласно операции + плюс) и неабелева полугруппа согласно операции * (_mult) где, кроме того, эти два дистрибутивных закона a   (b + c) = ab + ac и (a + b)  c = ac + bc содержат.

Используйте аксиому Ax::noZeroDivisors утверждать, что нет никаких делителей нуля согласно *, т.е. что продуктом ненулевых элементов никогда не является нуль.