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
отображает список всех допустимых предположений для специального идентификатора.
Если 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):
Выражение возвращает надмножество C_
или набор, если это постоянно, или если никакие свойства не присоединены к включенным идентификаторам:
getprop(x), getprop(x + 2*y), getprop(sin(3))
Функции abs
, Re
, и Im
имейте “минимальное свойство”: они производят действительные значения. На самом деле, abs
производит неотрицательные действительные значения:
delete x: getprop(abs(x)), getprop(Re(x)), getprop(Im(x))
|
getprop(f)
возвращается (супер-), устанавливает containig все возможные значения выражения f
.