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

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

Синтаксически, это - объект 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, который вызывает пользовательскую функцию слота.