How to check if a symbolic function is positive or negative?
21 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
Andrea Strappato
el 29 de Sept. de 2021
Comentada: Andrea Strappato
el 29 de Sept. de 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 comentarios
Respuesta aceptada
Steven Lord
el 29 de Sept. de 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)
Más respuestas (0)
Ver también
Categorías
Más información sobre Assumptions en Help Center y File Exchange.
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!