Type
::NonNegative
Тип и свойство, представляющее неотрицательные числа
Блокноты 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)
.
Следующие числа имеют тип 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)
Примите, что идентификатор является неотрицательным:
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:
|
Любой объект MuPAD |
|
Идентификатор или математическое выражение, содержащее идентификаторы |
|