simple inequality check fails - why?
2 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
Hi,
I have the simple inequality check for testing purposes in MuPad:
assume(0<x<1)
assumeAlso(0<y<1)
assumeAlso(A>0)
is(1/(1-x) >=1/(1-x*y))
is(A/(1-x) >=A/(1-x*y))
The first check correctly evaluates to TRUE, but the second returns UNKNOWN, however it is obviously true. Am I doing something wrong, or I have reached the limitation of the tool?
0 comentarios
Respuestas (3)
Radu Trimbitas
el 10 de Sept. de 2014
Your code works works correctly in MATLAB 2014a.
0 comentarios
timo
el 2 de En. de 2015
For me evaluates to:
TRUE TRUE
in mupad for Symbolic Math Toolbox Version 6.1 (R2014b)
0 comentarios
Ver también
Categorías
Más información sobre File Operations 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!