MathGroup Archive 2005

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

Search the Archive

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.


  • Prev by Date: Re: boolean function, interpolation
  • Next by Date: plotting data in a triangular domain
  • Previous by thread: Question about "Reduce"
  • Next by thread: Re: Re: Question about "Reduce"