`Ввод::`

Интервалы представления свойства

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

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

Синтаксис

Type::Interval(a, b, <ndomain>)
Type::Interval([a], b, <ndomain>)
Type::Interval(a, [b], <ndomain>)
Type::Interval([a], [b], <ndomain>)
Type::Interval([a, b], <ndomain>)

Описание

Type::Interval(a, b, ...) представляет интервал.

Type::Interval([a], b, ...) представляет интервал.

Type::Interval(a, [b], ...) представляет интервал.

Type::Interval([a], [b], ...) представляет интервал.

Type::Interval([a, b], ...) представляет интервал.

С доменным Type::Real по умолчанию текстовый объект, созданный Type::Interval, представляет действительный интервал, т.е. набор всех вещественных чисел между пограничными точками a и b. Если другая область задана, то текстовый объект представляет пересечение действительного интервала с набором, представленным областью. Например, Type::Interval(a, b, Type::Rational) представляет набор всех рациональных чисел между a и b, и Type::Interval([a, b], Type::Residue(0, 2)) представляет набор всех ровных целых чисел между a и b включая a и b.

Текстовый объект представляет свойство, которое может использоваться в assume и is. С

assume(x, Type::Interval(a, b, ndomain))

идентификатор x отмечен как номер от интервала, представленного текстовым объектом. С

is(x, Type::Interval(a, b, ndomain))

каждый запрашивает, содержится ли x в интервале.

Типы интервала не должны использоваться в testtype. Никакой объект MuPAD^® не совпадает с этими типами синтаксически, т.е. testtype всегда возвращает FALSE.

Примеры

Пример 1

Следующий текстовый объект представляет открытый интервал (-1, 1):

Type::Interval(-1, 1)

Следующие вызовы эквивалентны: оба создают тип, представляющий закрытый интервал:

Type::Interval([-1], [1]), Type::Interval([-1, 1])

Следующий вызов создает тип, представляющий набор всех целых чисел от-10 до 10:

Type::Interval([-10, 10], Type::Integer)

Следующий вызов создает тип, представляющий набор всех рациональных чисел в интервале:

Type::Interval([0], 1, Type::Rational)

Следующие вызовы создают типы, представляющие наборы всех ровных/нечетных целых чисел в интервале:

Type::Interval([-10], [10], Type::Even),
Type::Interval([-10], [10], Type::Odd)

Пример 2

Мы используем интервалы в качестве свойства. Следующие шифры x как вещественное число от интервала:

assume(x, Type::Interval([0], 2)):

Следовательно, x ² + 1 находится в интервале:

is(x^2 + 1 >= 1), is(x^2 + 1 < 5)

Следующие шифры x как целое число, больше, чем-10 и меньший, чем 100:

assume(x, Type::Interval(-10, 100, Type::Integer)):

Следовательно, x ³ является целым числом, больше, чем-730 и меньший, чем 970 300:

is(x^3, Type::Integer), is(x^3 >= -729), is(x^3 < 970300),
is(x^3, Type::Interval(-10^3, 100^3, Type::Integer))

is(x <= -730), is(x^3 >= 970300)

is(x > 0), is(x^3, Type::Interval(0, 10, Type::Integer))

unassume(x):

Параметры

`a, B`	Границы интервала: арифметические объекты
`ndomain`	Текстовый объект, такой как `Type::Real`, `Type::Integer` или `Type::Rational`, представляющий подмножество вещественных чисел или свойства, представляющего класс вычетов как `Type::Residue(0, 2)`. Областью по умолчанию является `Type::Real`.

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

Объект Type

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

Функции MuPAD

Type::Integer | Type::Rational | Type::Real | Type::Residue | assume | is | testtype

Документация