Проверяйте или уравнение, или неравенство содержит для всех значений его переменных
isAlways
выдает предупреждение при возвращении false для неразрешимых входных параметров. Чтобы подавить предупреждение, установите Unknown
опция к false
как isAlways(cond,'Unknown','false')
. Для получения дополнительной информации смотрите Указатель Выход для Неразрешимых Условий.
isAlways(
проверки, если условие cond
)cond
допустимо для всех возможных значений символьных переменных в cond
. При проверке cond
, isAlways
функция рассматривает все предположения на переменных в cond
. Если условие содержит, isAlways
возвращает логический 1
TRUE
). В противном случае это возвращает логический 0
ложь
).
isAlways(
дополнительные опции использования заданы одним или несколькими cond
,Name,Value
)Name,Value
парные аргументы.
Проверяйте, допустимо ли это неравенство для всех значений x
.
syms x isAlways(abs(x) >= 0)
ans = logical 1
isAlways
возвращает логический 1
TRUE
) указание, что неравенство abs(x) >= 0
допустимо для всех значений x
.
Проверяйте, допустимо ли это уравнение для всех значений x
.
isAlways(sin(x)^2 + cos(x)^2 == 1)
ans = logical 1
isAlways
возвращает логический 1
TRUE
) указание, что неравенство допустимо для всех значений x
.
Проверяйте, допустимо ли по крайней мере одно из этих двух условий. Чтобы проверять, допустимо ли по крайней мере одно из нескольких условий, объедините их использующий логический оператор or
или его ярлык |
.
syms x isAlways(sin(x)^2 + cos(x)^2 == 1 | x^2 > 0)
ans = logical 1
Проверяйте, допустимы ли оба условия. Чтобы проверять, допустимы ли несколько условий, объедините их использующий логический оператор and
или его ярлык &
.
isAlways(sin(x)^2 + cos(x)^2 == 1 & abs(x) > 2*abs(x))
ans = logical 0
Протестируйте это условие. Когда isAlways
не может определить, допустимо ли условие, оно возвращает логический 0
ложь
) и выдает предупреждение по умолчанию.
syms x isAlways(2*x >= x)
Warning: Unable to prove 'x <= 2*x'. ans = logical 0
Чтобы изменить это поведение по умолчанию, используйте Unknown
. Например, задайте Unknown
как false
подавить предупреждение и сделать isAlways
возвратите логический 0
ложь
) если это не может определить валидность условия.
isAlways(2*x >= x,'Unknown','false')
ans = logical 0
Вместо false
, можно также задать error
возвратить ошибку и true
возвратить логический 1
TRUE
).
Проверяйте это неравенство под предположением что x
отрицательно. Когда isAlways
тестирует уравнение или неравенство, это учитывает предположения на переменных в том уравнении или неравенстве.
syms x assume(x < 0) isAlways(2*x < x)
ans = logical 1
Для дальнейших расчетов очистите предположение на x
путем воссоздания его с помощью syms
.
syms x
assume
| assumeAlso
| assumptions
| in
| isequal
| isequaln
| isfinite
| isinf
| isnan
| piecewise
| sym
| syms