Re: Question about "Reduce"

*To*: mathgroup at smc.vnet.net*Subject*: [mg61921] Re: Question about "Reduce"*From*: "Stanley Rabinowitz" <stan.rabinowitz at comcast.net>*Date*: Fri, 4 Nov 2005 05:11:59 -0500 (EST)*References*: <dkco86$qcp$1@smc.vnet.net>*Sender*: owner-wri-mathgroup at wolfram.com

I changed my "Reduce" command to Reduce[ForAll[{u, v}, 0 <= u <= Sqrt[3] && 0 <= v <= Sqrt[3] && 0 <= 1 - u v<= (u + v)Sqrt[3], ineq]] // FullSimplify and this time I got the correct result. So I am thinking perhaps this is a bug in Mathematica. Since u>=0 and v>=0, the conditions 0 <= (1 - u v)/(u + v)<= Sqrt[3] and 0 <= 1 - u v<= (u + v)Sqrt[3] should be equivalent. However, the latter condition refers only to polynomials, so may be easier for Mathematica.

**Follow-Ups**:**Re: Re: Question about "Reduce"***From:*Chris Chiasson <chris.chiasson@gmail.com>