Ax:: normalRep

Аксиома нормального представления

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

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

Описание

Ax::normalRep утверждает, что абелев моноид имеет каноническое представление своего нулевого элемента, т.е. что существует только одно уникальное выражение, чтобы представлять нуль.

Если аксиома, которую Ax::normalRep содержит для доменного dom, можно протестировать на нуль путем сравнения элемента с dom::zero с помощью системной функции _equal.