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. "_plus": постоянный 0. |
Методы
развернуть все
Математические методы
_divide — Разделите арифметические выражения
_divide(f, g)
Этот метод перегружает функциональный _divide.
Для получения дополнительной информации смотрите _divide.
_invert — Инвертируйте арифметическое выражение
_invert(f)
Этот метод перегружает функциональный _invert.
Для получения дополнительной информации смотрите _invert.
_mult — Мультиплие арифметические выражения
_mult(<f, g, …>)
Этот метод перегружает функциональный _mult.
Для получения дополнительной информации смотрите _mult.
_negate — Инвертируйте арифметическое выражение
_negate(f)
Этот метод перегружает функциональный _negate.
Для получения дополнительной информации смотрите _negate.
_plus — Добавьте арифметические выражения
_plus(<f, g, …>)
Этот метод перегружает функциональный _plus.
Для получения дополнительной информации смотрите _plus.
_power — Оператор степени
_power(f, g)
Этот метод перегружает функциональный _power.
Для получения дополнительной информации смотрите _power.
_subtract — Вычтите арифметическое выражение
_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 — Норма арифметического выражения
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.
info — Распечатайте короткую информацию об этой области
Наследованный от Dom::BaseDomain.
print — Возвратите выражение, чтобы распечатать элемент
Наследованный от Cat::BaseCategory.
testtype — Протестируйте, является ли его аргумент выражением
Наследованный от Dom::Expression.
undefinedEntries — Возвратите недостающие записи
Наследованный от Dom::BaseDomain.
whichEntry — Возвратите область или категорию, реализующую запись
Наследованный от Dom::BaseDomain.
Смотрите также
Области MuPAD
