simple inequality check fails - why?

2012 6 27
3 个回答
更新时间：2015 1 2
3 次查看（30 天）

1 个投票

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

0 个投票

You have to split up the comparisons: e.g.:
x > 0 & x < 1

1 个评论
显示 -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

0 个投票

Your code works works correctly in MATLAB 2014a.
timo
timo 2015-1-2

0 个投票

For me evaluates to:
TRUE TRUE
in mupad for Symbolic Math Toolbox Version 6.1 (R2014b)

类别

在 帮助中心 和 File Exchange 中查找有关 File Operations 的更多信息

标签

提问:

L. C.
L. C.
2012-6-27

回答：

timo
timo
2015-1-2

Community Treasure Hunt

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

Start Hunting!

Translated by