Ввод::
Тип и свойство, представляющее отрицательные числа
Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.
Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.
Синтаксис
testtype(obj, Type::Negative) assume(x, Type::Negative) is(ex, Type::Negative)
Описание
Type::Negative представляет отрицательные числа. Type::Negative является свойством также, которое может использоваться в вызове assume.
Проверки testtype(obj, Type::Negative) вызова, является ли obj отрицательным вещественным числом и возвращает TRUE, если это содержит, в противном случае FALSE.
testtype только выполняет синтаксический тест, идентифицирующий объекты MuPAD® типа DOM_INT, DOM_RAT и DOM_FLOAT и проверки, если bool(obj < 0) содержит. Это не включает арифметические выражения, такие как -exp(1), которые не идентифицированы с типа Type::Negative.
Вызов assume(x, Type::Negative) отмечает идентификатор x как отрицательное вещественное число.
is(ex, Type::Negative) вызова выводит, ли выражение, ex является отрицательным вещественным числом (или это свойство может быть выведен).
Этот тип представляет свойство, которое может использоваться в assume и is.
Вместо Type::Negative предположением может также быть assume(x < 0).
Примеры
Пример 1
Следующие числа имеют тип Type::Negative:
testtype(-2, Type::Negative), testtype(-3/4, Type::Negative), testtype(-0.123, Type::Negative), testtype(-1, Type::Negative), testtype(-1.02, Type::Negative)
Следующие выражения являются точными представлениями отрицательных чисел, но синтаксически они не имеют Type::Negative:
testtype(-exp(1), Type::Negative), testtype(-PI^2 - 5, Type::Negative), testtype(-sin(2), Type::Negative)
Пример 2
Примите, что идентификатор отрицателен:
assume(x, Type::Negative): is(x, Type::Negative)
Это равно:
assume(x < 0): is(x < 0)
Также отрицательные числа действительны:
assume(x, Type::Negative): is(x, Type::Real)
Однако вещественные числа могут быть отрицательными или нет:
assume(x, Type::Real): is(x, Type::Negative)
delete x:
Параметры
|
Любой объект MuPAD |
|
Идентификатор или математическое выражение, содержащее идентификаторы |
|