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>
- Re: Re: Question about "Reduce"