simple inequality check fails - why?
2 Ansichten (letzte 30 Tage)
Ältere Kommentare anzeigen
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 Kommentare
Antworten (3)
timo
am 2 Jan. 2015
For me evaluates to:
TRUE TRUE
in mupad for Symbolic Math Toolbox Version 6.1 (R2014b)
0 Kommentare
Siehe auch
Kategorien
Mehr zu File Operations 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!