Return to Question

Variable names are changed, syntax error is fixed

Source Link

edited Sep 16, 2014 at 16:51

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

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

    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?

    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))) Ep + (-2 + w) w (2 +  3 w) Ep^2)/(4 (-2 + w) (-1 + w) w (2 + w) (2 G - Ep)) < 0 && 
     -(((-1 + G + w (1 + G - Ep)) (2 - 2 G + w (-2 + Ep)))/(2 (-1 + w) w (2 + w) (2 G - Ep))) < 0 && 
     0 < 2 + (2 (-1 + w) (-1 + G))/( w (-2 G + Ep)) < 1 &&
     0 < w < 1 && 
     Ep > 0 && 
     G > 0, {w, Ep, G}]

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

Source Link

asked Sep 16, 2014 at 16:26

UTK

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?

equation-solving inequalities