simple inequality check fails - why?
2 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
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 Commenti
Risposte (3)
timo
il 2 Gen 2015
For me evaluates to:
TRUE TRUE
in mupad for Symbolic Math Toolbox Version 6.1 (R2014b)
0 Commenti
Vedere anche
Categorie
Scopri di più su File Operations 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!