[Date Index] [Thread Index] [Author Index]

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>