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 должен быть положительным:
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.