MathGroup Archive 2005

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

Search the Archive

Re: Question about "Reduce"


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"