symbolic variable - proving positive

4 ビュー (過去 30 日間)
Gennaro Arguzzi
Gennaro Arguzzi 2017 年 6 月 30 日
編集済み: Walter Roberson 2017 年 6 月 30 日
Hi everyone. How can I prove that a symbolic variable is positive? It is not possible to use if statement for symbolic variables.
close all
clear all
a=sym('a','positive');
if(a>0)
disp('OK')
else
disp('KO')
end
Thank you.

サインインしてこの質問に回答する。

採用された回答

Walter Roberson
Walter Roberson 2017 年 6 月 30 日
編集済み: Walter Roberson 2017 年 6 月 30 日
syms a positive
if isAlways(a>0); disp('OK'); else disp('KO'); end
https://www.mathworks.com/help/symbolic/isalways.html

その他の回答 (0 件)

カテゴリ

Help Center および File Exchange で Assumptions についてさらに検索

タグ

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by