Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.
Используйте только в Интерфейсе MuPAD Notebook. Эта функциональность не запускается в MATLAB.
В MuPAD® алгебраическая структура может быть представлена областью. Параметрические области могут быть заданы доменными конструкторами. Многие доменные конструкторы заданы в пакете библиотеки Dom.
Области, которые имеют подобную математическую структуру, могут быть членами категории. Категория добавляет уровень абстракции, потому что это постулирует условия, которые должны содержать для области в порядке стать допустимым членом категории. Операции могут быть заданы для всех членов категории на основе предположений и основных операций той категории, пока они не делают предположений о представлении элементов областей, которые принадлежат категории. Категории могут также зависеть от параметров и создаются по категориям конструкторы.
Атрибуты областей и категорий заданы с точки зрения так называемых аксиом. Государственная собственность аксиом областей или категорий.
Данная статья описывает конструкторов категории, которые являются частью пакета библиотеки Cat.
Категории, заданные до сих пор в целом, следуют соглашениям алгебры. Существуют некоторые свойства категорий, которые отличаются от 'классической' неконструктивной теории алгебры, потому что эти свойства не конструктивны или не могут быть созданы эффективно.
Иерархия категории пакета Cat весьма схожа с (часть) иерархия категории AXIOM JeSu (см. DaTr для описания основных категорий Временной памяти, предшественника AXIOM).
Для каждого конструктора категории только описаны записи, заданные непосредственно конструктором. Записи, которые наследованы от суперкатегорий, не описаны.
Обратите внимание на то, что большинство аксиом категорий не утверждается явным образом. Только аксиомы, которые не подразумеваются определением категории, утверждаются явным образом. Категория групп, например, не имеет никакой аксиомы, утверждая, что умножение является обратимым, потому что это подразумевается определением группы.
Дж.Х. Дэвенпорт и Б.М. Трэджер. Представление временной памяти Алгебры I: Основная Коммутативная Алгебра. DISCO '90 (Спрингер LNCS 429, редактор А. Майола):40–54, 1990.
К. Дрешер. Аксиомы, категории и области. Автоматематический технический отчет № 1, унив GH Падерборн 1995.
Р.Д. Дженкс и Р.С. Сутор. AXIOM, система научных расчетов. Спрингер, 1992.
