symbolic variable - proving positive

1 view (last 30 days)
Gennaro Arguzzi
Gennaro Arguzzi on 30 Jun 2017
Edited: Walter Roberson on 30 Jun 2017
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.

Sign in to answer this question.

Accepted Answer

Walter Roberson
Walter Roberson on 30 Jun 2017
Edited: Walter Roberson on 30 Jun 2017
syms a positive
if isAlways(a>0); disp('OK'); else disp('KO'); end
https://www.mathworks.com/help/symbolic/isalways.html

More Answers (0)

Categories

Find more on Assumptions in Help Center and File Exchange

Tags

Community Treasure Hunt

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

Start Hunting!