simple inequality check fails - why?

2 次查看（过去 30 天）
L. C.
L. C. 2012-6-27
回答： timo 2015-1-2
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?

请先登录，再回答此问题。

回答（3 个）

Tom
Tom 2012-6-27
You have to split up the comparisons: e.g.:
x > 0 & x < 1
  1 个评论
L. C.
L. C. 2012-6-28
Thanks. I tried and nothing has changed. Other ideas? I also tried to introduce an upper bound on A as well to avoid possible mess with infinity, but the result is just the same.

请先登录，再进行评论。

Radu Trimbitas
Radu Trimbitas 2014-9-10
Your code works works correctly in MATLAB 2014a.
timo
timo 2015-1-2
For me evaluates to:
TRUE TRUE
in mupad for Symbolic Math Toolbox Version 6.1 (R2014b)

类别

在 Help Center 和 File Exchange 中查找有关 File Operations 的更多信息

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by