symbolic variable - proving positive

2017 6 30

1 个回答

10 次查看（30 天）

0 个投票

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.

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

Walter Roberson 2017-6-30

编辑：Walter Roberson 2017-6-30

1 个投票

syms a positive
if isAlways(a>0); disp('OK'); else disp('KO'); end

在帮助中心和 File Exchange 中查找有关 Assumptions 的更多信息

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

Translated by