Skip to main content
1 of 2
UTK
  • 15
  • 1
  • 6

Reduce function produces result as False for long inequalities

    Reduce[(2 (-1 + w + G) (4 (-1 + w) w + (4 + w (4 + 3 w)) G) -  w (4 - 8 G] + w (-14 + 6 G +  w (10 + 3 G))) E + (-2 + w) w (2 +  3 w) E^2)/(4 (-2 + w) (-1 + w) w (2 + w) (2 G - E)) < 0 && 
     -(((-1 + G + w (1 + G - E)) (2 - 2 G + w (-2 + E)))/(2 (-1 + w) w (2 + w) (2 G - E))) < 0 && 
     0 < 2 + (2 (-1 + w) (-1 + G))/( w (-2 G + E)) < 1 &&
     0 < w < 1 && 
     E > 0 && 
     G > 0, {w, E, G}]

The code above results False in Mathematica. Could someone tell me what excatly False means here?

UTK
  • 15
  • 1
  • 6