on 7/3/01 5:40 PM, Axel Dreher at Mail at Axel-Dreher.de wrote:
> Hi,
> I'm desperately searching for help on my inequality question.
> How can I check for the truth of inequalities when I use variables
> instaed of numeric values?
>
> For example: a>b;TrueQ[a>b]
> does yield 'false' and for example a=1;b=0.5;TrueQ[a>b] yields 'True'.
> How do I have to tell the programm, that it should use a>b?
>
> Thanks for your help......
>
> Axel
>
>
>
>
>
>
>
First of all, you should explain what you are trying to do. Judging by your
message you are almost certainly doing it wrong and most likely you should
not be using TrueQ at all. If you want to use a>b as an assumption when
Mathematica checks some other inequality you should use Simplify and
assumptions, e,g.
In[41]:=
Simplify[a^2>b^2,{a>b>0}]
Out[41]=
True
--
Andrzej Kozlowski
Toyama International University
JAPAN
http://platon.c.u-tokyo.ac.jp/andrzej/http://sigma.tuins.ac.jp/~andrzej/