Документация

арифметическое выражение

Синтаксически, это - объект Type::Arithmetical. В частности, этот тип включает числа, идентификаторы и выражения доменного типа DOM_EXPR.

область

Фраза “область” синонимична с “типом данных”. Каждый объект MuPAD имеет тип данных, называемый его “доменным типом”. Это может быть запрошено через функциональный domtype.

Существуют “основные области”, обеспеченные системным ядром. Они включают различные типы чисел, наборов, списков, массивов, hfarrays, таблиц, выражений, полиномы и т.д. Документация называет эти типы данных “областями ядра”. Имя областей ядра имеет форму DOM_XXX (например, DOM_INT, DOM_SET, DOM_LIST, DOM_ARRAY, DOM_HFARRAY, DOM_TABLE, и т.д.).

Кроме того, язык программирования MuPAD позволяет вводить новые типы данных через ключевое слово domain или функциональный newDomain. Библиотека MuPAD обеспечивает много таких областей. Например, series expansions, matrices, piecewise заданные объекты и т.д. являются областями, реализованными на языке MuPAD. Документация называет такие типы данных “областями библиотеки”. В частности, библиотека Dom обеспечивает множество предопределенных типов данных, таких как матрицы, классы вычетов, интервалы и т.д.

Смотрите DOM_DOMAIN для общих объяснений на типах данных. Здесь вы также находите некоторые простые примеры, демонстрирующие, как пользователь может реализовать ее собственные области.

Последовательности, такие как a := (x, y) или b := (u, v) состойте из объектов, разделенных запятыми. Несколько последовательностей могут быть объединены к более длинной последовательности: (a, b) “сглажен” к последовательности (x, y, u, v) состоя из 4 элементов. Большинство функций сглаживает свои аргументы, т.е. вызов f(a, b) интерпретирован как вызов f(x, y, u, v) с 4 аргументами. Обратите внимание, однако, что некоторые функции (например, операнд функционирует op) не сглаживайте их аргументы: op(a, 1) вызов с 2 аргументами.

Концепция выравнивания также применяется к некоторым функциям, таким как max, где это обращается к правилам упрощения, таким как max(a, max(b, c)) = max(a, b, c).

Номер может быть целым числом (типа DOM_INT), или рациональное число (типа DOM_RAT), или действительное число с плавающей запятой (типа DOM_FLOAT), или комплексное число (типа DOM_COMPLEX).

Тип DOM_COMPLEX охватывает Гауссовы целые числа, такие как 3 + 7*I, Гауссов rationals, такой как 3/4 + 7/4*I, и объедините числа с плавающей точкой, такие как 1.2 + 3.4*I.

Страница справки системной функции только документирует допустимые аргументы, которые имеют некоторый основной тип, обеспеченный ядром MuPAD. Если системная функция f, Скажем, объявляется как “сверхзагружаемый”, пользователь может расширить его функциональность. Он может реализовать свою собственную область или function environment с соответствующим slot "f". Элемент этой области затем принят системной функцией f который вызывает пользовательскую функцию паза.