Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.
Используйте только в Интерфейсе MuPAD Notebook. Эта функциональность не запускается в MATLAB.
В MuPAD® алгебраическая структура может быть представлена областью. Параметризованные области могут быть заданы доменными конструкторами. Многие доменные конструкторы заданы в пакете библиотеки Dom.
Области, которые имеют подобную математическую структуру, могут быть членами категории. Категория добавляет уровень абстракции, потому что это постулирует условия, которые должны содержать для области в порядке стать допустимым членом категории. Операции могут быть заданы для всех членов категории на основе предположений и основных операций той категории, пока они не делают предположений о представлении элементов области, которые принадлежат категории. Категории могут также зависеть от параметров и создаются по категориям конструкторы. Конструкторы категории библиотеки MuPAD содержатся в CAT пакета библиотеки.
Атрибуты областей и категорий заданы с точки зрения так называемых аксиом. Государственная собственность аксиом областей или категорий. Они могут также зависеть от параметров и заданы конструкторами аксиомы.
Обратите внимание на то, что большинство аксиом областей и категорий, заданных в библиотеке MuPAD, не утверждается явным образом. Только аксиомы, которые не подразумеваются определением категории, утверждаются явным образом. Категория групп, например, не имеет никакой аксиомы, утверждая, что умножение является обратимым, потому что это подразумевается определением группы. Большинство аксиом, заданных в этом пакете, имеет технические (т.е. алгоритмическая природа).
К. Дрешер. Аксиомы, категории и области. Автоматематический технический отчет № 1, унив GH Падерборн 1995.
