I am trying to evaluate the signs of some
symbolic expressions. The following is
a simple example.
Suppose:
a > 0
b > 0
c > 0
0 < d < 1
We know that a*b*c - a*b*c*d >0
Can I define the variables in such a way that
Mathematica can evaluate the expression.
Thanks, Dan Rogers
==== [MESSAGE SEPARATOR] ====