Аксиомы

Аксиомы и конструкторы аксиомы реализованы в MuPAD®

Примечание

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

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

Аксиомы MuPAD

Ax::canonicalOrderАксиома канонически упорядоченных множеств
Ax::canonicalRepАксиома канонического представления
Ax::canonicalUnitNormalАксиома канонических модульных нормалей
Ax::closedUnitNormalsАксиома закрытых модульных нормалей
Ax::efficientOperationАксиома эффективных операций
Ax::indetElementsАксиома, что indeterminates может быть элементами
Ax::normalRepАксиома нормального представления
Ax::noZeroDivisorsАксиома звонков без делителя нуля
Ax::systemRepАксиома областей фасада

Темы

Аксиомы

Используйте только в Интерфейсе MuPAD Notebook.

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