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® возражает.