Dom:: ArithmeticalExpression
Области арифметических выражений
Синтаксис
Dom::ArithmeticalExpression(x)
Описание
Dom::ArithmeticalExpression является областью фасада арифметических выражений, созданных системными функциями и операторами как + и *.
Эта область не имеет почти никакой алгебраической структуры, потому что неполные выражения не имеют никакой нормальной формы. (Например, существуют рациональные выражения для нуля, которые не нормированы к 0.) Основная цель Dom::ArithmeticalExpression состоит в том, чтобы обеспечить реализации для методов, используемых субдоменами фасада как Dom::Integer, которые представлены подмножеством арифметических выражений.
Элементы Dom::ArithmeticalExpression обычно не создаются явным образом. Однако, если вы создаете элементы с помощью обычного синтаксиса, вход преобразован в выражение с помощью expr, то это проверяется, является ли результатом арифметическое выражение.
Примеры
Пример 1
Для краткости мы будем использовать AE в качестве краткого обозначения для Dom::ArithmeticalExpression:
Элемент этой области не может быть создан можно следующим образом:
Поскольку Dom::ArithmeticalExpression является областью фасада, e не является доменным элементом, а выражением:
То, что никакая ошибка не была возвращена, приводит к информации, что e является арифметическим выражением. Это может также проверяться можно следующим образом:
В отличие от его супердоменного Dom::Expression, эта область только позволяет элементы, которые являются допустимыми аргументами для арифметических функций, таким образом следующие урожаи ошибка:
Error: Invalid arguments. [Dom::ArithmeticalExpression::new]
Записи
| "ключ" | Имя этой области. |
| "один" | Нейтральный элемент w.r.t. "_mult": постоянный 1. |
| "нуль" | Нейтральный элемент w.r.t. плюс: постоянный 0. |
Методы
развернуть все
Математические методы
_divide — Разделите арифметические выражения
_divide(f, g)
Этот метод перегружает функциональный _divide.
Для получения дополнительной информации смотрите _divide.
_invert — Инвертируйте арифметическое выражение
_invert(f)
Этот метод перегружает функциональный _invert.
Для получения дополнительной информации смотрите _invert.
_mult — Мультиплие арифметические выражения
_mult(<f, g, …>)
Этот метод перегружает функциональный _mult.
Для получения дополнительной информации смотрите _mult.
_negate — Инвертируйте арифметическое выражение
_negate(f)
Этот метод перегружает функциональный _negate.
Для получения дополнительной информации смотрите _negate.
плюс Добавьте арифметические выражения
_plus(<f, g, …>)
Этот метод перегружает функциональный _plus.
Для получения дополнительной информации смотрите _plus.
_power — Оператор степени
_power(f, g)
Этот метод перегружает функциональный _power.
Для получения дополнительной информации смотрите _power.
вычитание Вычтите арифметическое выражение
_subtract(f, g)
Для получения дополнительной информации смотрите _subtract.
D Дифференциальный оператор для функций
D(f)
D([c1, …], f)
Этот метод перегружает функциональный D.
Для получения дополнительной информации смотрите D.
diff Дифференцируйте арифметическое выражение
diff(f, <x, …>)
Этот метод перегружает функциональный diff.
Для получения дополнительной информации смотрите diff.
intmult — Умножьте арифметическое выражение с целым числом
intmult(f, n)
Этот метод перегружает функциональный _mult.
Для получения дополнительной информации смотрите _mult.
iszero — Протестируйте на нуль
iszero(f)
Этот метод перегружает функциональный iszero.
Для получения дополнительной информации смотрите iszero.
max Максимум чисел
max(x, <y, …>)
Все числовые аргументы должны быть действительными.
Этот метод перегружает функциональный max.
Для получения дополнительной информации смотрите max.
min Минимум чисел
min(x, <y, …>)
Все числовые аргументы должны быть действительными.
Этот метод перегружает функциональный min.
Для получения дополнительной информации смотрите min.
норма Норма арифметического выражения
norm(f)
Этот метод перегружает функциональный abs.
Для получения дополнительной информации смотрите abs.
Методы доступа
Методы преобразования
\convert Проверяйте на то, что были арифметическим выражением
convert_to — Преобразование в другие области
Наследованный от Dom::Expression.
Технические методы
allEntries — Возвратите имена всех записей
Наследованный от Dom::BaseDomain.
allSuperDomains — Возвратите все суперобласти
Наследованный от Dom::BaseDomain.
undefinedEntries — Возвратите недостающие записи
Наследованный от Dom::BaseDomain.
whichEntry — Возвратите область или категорию, реализующую запись
Наследованный от Dom::BaseDomain.
getAxioms — Возвратитесь аксиомы утвердили в конструкторе
Наследованный от Dom::BaseDomain.
getCategories — Возвратитесь категории утвердили в конструкторе
Наследованный от Dom::BaseDomain.
getSuperDomain — Возвратитесь суперобласть утвердила в конструкторе
Наследованный от Dom::BaseDomain.
hasProp — Протестируйте на определенное свойство
Наследованный от Dom::BaseDomain.
информация Распечатайте короткую информацию об этой области
Наследованный от Dom::BaseDomain.
печать Возвратите выражение, чтобы распечатать элемент
Наследованный от Cat::BaseCategory.
testtype — Протестируйте, является ли его аргумент выражением
Наследованный от Dom::Expression.
undefinedEntries — Возвратите недостающие записи
Наследованный от Dom::BaseDomain.
whichEntry — Возвратите область или категорию, реализующую запись
Наследованный от Dom::BaseDomain.
Смотрите также
Области MuPAD
