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