Ввод::

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

Блокноты MuPAD® будут демонтированы в будущем релизе. Используйте live скрипты MATLAB® вместо этого.

Live скрипты MATLAB поддерживают большую часть функциональности MuPAD, хотя существуют некоторые различия. Для получения дополнительной информации смотрите, Преобразовывают Notebook MuPAD в Live скрипты MATLAB.

Синтаксис

testtype(obj, Type::NonNegative)
assume(x, Type::NonNegative)
is(ex, Type::NonNegative)

Описание

Type::NonNegative представляет неотрицательные числа. Type::NonNegative является свойством также, которое может использоваться в вызове assume.

Проверки testtype(obj, Type::NonNegative) вызова, является ли obj неотрицательным вещественным числом и возвращает TRUE, если это содержит, в противном случае FALSE.

testtype только выполняет синтаксический тест, идентифицирующий объекты MuPAD® типа DOM_INT, DOM_RAT и DOM_FLOAT и проверки, если bool(obj >= 0) содержит. Это не включает арифметические выражения, такие как exp(1), которые не идентифицированы с типа Type::NonNegative.

Вызов assume(x, Type::NonNegative) отмечает идентификатор x как неотрицательное вещественное число.

is(ex, Type::NonNegative) вызова выводит, ли выражение, ex является неотрицательным вещественным числом (или это свойство может быть выведен).

Этот тип представляет свойство, которое может использоваться в assume и is.

Вместо Type::NonNegative предположением может также быть assume(x >= 0).

Примеры

Пример 1

Следующие числа имеют тип Type::NonNegative:

testtype(2, Type::NonNegative),
testtype(3/4, Type::NonNegative),
testtype(0.123, Type::NonNegative),
testtype(0, Type::NonNegative),
testtype(1.02, Type::NonNegative)

Следующие выражения являются точными представлениями неотрицательных чисел, но синтаксически они не имеют Type::NonNegative:

testtype(exp(1), Type::NonNegative),
testtype(PI^2 + 5, Type::NonNegative),
testtype(sin(2), Type::NonNegative)

Функциональный is, однако, может найти, что эти выражения являются неотрицательными:

is(exp(1), Type::NonNegative),
is(PI^2 + 5, Type::NonNegative),
is(sin(2), Type::NonNegative)

Пример 2

Примите, что идентификатор является неотрицательным:

assume(x, Type::NonNegative):
is(x, Type::NonNegative)

Это равно:

assume(x >= 0):
is(x >= 0)

Также неотрицательные числа действительны:

assume(x, Type::NonNegative):
is(x, Type::Real)

Но вещественные числа могут быть неотрицательными или нет:

assume(x, Type::Real):
is(x, Type::NonNegative)

delete x:

Параметры

obj

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

x

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

ex

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

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

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

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

Функции MuPAD