simple inequality check fails - why?
조회 수: 2 (최근 30일)
이전 댓글 표시
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
답변 (3개)
timo
2015년 1월 2일
For me evaluates to:
TRUE TRUE
in mupad for Symbolic Math Toolbox Version 6.1 (R2014b)
댓글 수: 0
참고 항목
카테고리
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!