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 |
|
Идентификатор или математическое выражение, содержащее идентификаторы |
|