Type::NonNegInt

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

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

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

Синтаксис

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

Описание

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

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

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

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

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

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

Примеры

Пример 1

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

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

Пример 2

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

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

Также неотрицательные целые числа являются целыми числами:

assume(x, Type::NonNegInt):
is(x, Type::Integer)

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

assume(x, Type::Integer):
is(x, Type::NonNegInt)

delete x:

Параметры

obj

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

x

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

ex

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

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

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

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

Функции MuPAD

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