Ввод::

Тип и свойство, представляющее отрицательные числа

Блокноты 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:

Параметры

obj

Любой объект MuPAD

x

Идентификатор или математическое выражение, содержащее идентификаторы

ex

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

Возвращаемые значения

Смотрите testtype, assume и is

Смотрите также

Функции MuPAD