Ax:: canonicalUnitNormal

Аксиома канонических модульных нормалей

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

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

Описание

Ax::canonicalUnitNormal утверждает, что метод "unitNormal" интегральной области (категория Cat::IntegralDomain) возвращает уникальный нормальный модуль.

Это означает, что для каждого ненулевого элемента x интегральной области там существует уникальный партнер среди объединенного класса x, т.е. для любого x и y доменного dom категории Cat::IntegralDomain, куда dom::associates(x, y) возвращает TRUE уравнение, dom::equal(dom::unitNormal(x), dom::unitNormal(y)) = TRUE должен содержать.

Обратите внимание на то, что эта аксиома не подразумевает, что модульные нормали канонически представлены. Модульные нормали x и y должны быть математически равными в смысле метода "equal", они не должны быть структурно равными, когда MuPAD® возражает.

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