symbolic variable - proving positive

2 vues (au cours des 30 derniers jours)
Gennaro Arguzzi
Gennaro Arguzzi le 30 Juin 2017
Modifié(e) : Walter Roberson le 30 Juin 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.

Connectez-vous pour répondre à cette question.

Réponse acceptée

Walter Roberson
Walter Roberson le 30 Juin 2017
Modifié(e) : Walter Roberson le 30 Juin 2017
syms a positive
if isAlways(a>0); disp('OK'); else disp('KO'); end
https://www.mathworks.com/help/symbolic/isalways.html

Plus de réponses (0)

Catégories

En savoir plus sur Assumptions dans Help Center et File Exchange

Tags

Community Treasure Hunt

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

Start Hunting!

Translated by