Hi,
I cannot find the way to simplify certain inequalities. An example could be this one:
1+y==0&&x>1/2&&x+y>=0
I have the additional condition that -1<=x<=1. Applying Simplify with this
condition, I expect the solution
1+y==0&&x-1==0
But the original set of inequalities remains the same.
I tried Expand, FunctionExpand, LogicalExpand, and some others, with no luck.
Thanks very much for any suggestion you might provide.
Best regards,
Julio Vera