Ввод::

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

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

Параметры

obj

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

x

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

ex

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

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

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

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

Функции MuPAD

Для просмотра документации необходимо авторизоваться на сайте