Ax::canonicalRep

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

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

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

Описание

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

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

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