How to check if a symbolic function is positive or negative?
21 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
Andrea Strappato
il 29 Set 2021
Commentato: Andrea Strappato
il 29 Set 2021
Hi everyone,
I've defined a square function this way:
sym x
y = x^2
Running the command ' isAlways(y>=0) ' I get:
Warning: Unable to prove '0 <= x^2'.
> In symengine
In sym/isAlways (line 42)
Why Matlab is displaying the warning?
Thanks in advance for who will help me!
0 Commenti
Risposta accettata
Steven Lord
il 29 Set 2021
MATLAB is unable to prove that y is always greater than or equal to 0 because y is not always greater than or equal to 0. Here is a case where it is:
x = 1;
y = x^2
y >= 0 % true
Here is a case where it is not.
x = 1i;
y = x^2
y >= 0 % false
If you told MATLAB that x was real, it would help.
syms x real
y = x^2
isAlways(y >= 0)
Più risposte (0)
Vedere anche
Categorie
Scopri di più su Assumptions in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!