Type::PosRat

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

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

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

Синтаксис

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

Описание

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

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

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

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

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

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

Примеры

Пример 1

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

testtype(2, Type::PosRat),
testtype(3/4, Type::PosRat),
testtype(55/111, Type::PosRat),
testtype(1, Type::PosRat),
testtype(111/111111, Type::PosRat)

Пример 2

Примите, что идентификатор положителен рациональный:

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

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

assume(x, Type::PosRat):
is(x, Type::Rational)

Однако рациональные числа могут быть положительны рациональный или нет:

assume(x, Type::Rational):
is(x, Type::PosRat)

delete x:

Параметры

obj

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

x

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

ex

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

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

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

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

Функции MuPAD

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