How to check if a symbolic function is positive or negative?
21 Ansichten (letzte 30 Tage)
Ältere Kommentare anzeigen
Andrea Strappato
am 29 Sep. 2021
Kommentiert: Andrea Strappato
am 29 Sep. 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 Kommentare
Akzeptierte Antwort
Steven Lord
am 29 Sep. 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)
Weitere Antworten (0)
Siehe auch
Kategorien
Mehr zu Assumptions finden Sie in Help Center und File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!