Ввод::
Тип и свойство, представляющее неотрицательные целые числа
Блокноты 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:
Параметры
|
Любой объект MuPAD |
|
Идентификатор или математическое выражение, содержащее идентификаторы |
|