getprop

Запросите свойства выражений

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

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

Синтаксис

getprop(f)
getprop()

Описание

getprop(f) возвращает набор, содержащий все возможные значения выражения f.

Механизм свойства помогает упростить выражения включающие идентификаторы, которые несут “математические предположения”. Функциональный assume позволяет устанавливать основные допущения, такие как 'x вещественное число' или 'x нечетное целое число', сказать. Арифметические выражения, включающие x может наследовать такие свойства. Например, '1 + x^2 положительно' если 'x вещественное число'.

getprop(f) исследует предположения обо всех идентификаторах в выражении f и выводит надмножество всех значений f.

Только основные математические свойства могут быть представлены с доступными свойствами. Поэтому getprop выполняет определенные упрощения во время деривации свойства для выражения. Таким образом это может произойти тот getprop выводит слишком большой набор.

getprop только показывает математическое (супер-) набор всех возможных значений относительно предположений. Команда property::showprops отображает список всех допустимых предположений для специального идентификатора.

Примеры

Пример 1

Если x вещественное число, затем x^2 + 1 mustBePositive:

assume(x, Type::Real):
getprop(x^2 + 1)

Если x представляет номер в интервале [1, infinity[, выражение 1 - x имеет следующее свойство:

assume(x, Type::Interval([1], infinity)):
getprop(1 - x)

unassume(x):

Пример 2

Выражение возвращает надмножество C_ или набор, если это постоянно, или если никакие свойства не присоединены к включенным идентификаторам:

getprop(x), getprop(x + 2*y), getprop(sin(3))

Пример 3

Функции abs, Re, и Im имейте “минимальное свойство”: они производят действительные значения. На самом деле, abs производит неотрицательные действительные значения:

delete x:
getprop(abs(x)), getprop(Re(x)), getprop(Im(x))

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

getprop(f) возвращается (супер-), устанавливает containig все возможные значения выражения f.

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

Функции MuPAD

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