Reduce/rearrange systems of inequalities (Symbolic Math Toolbox)

Hi all,

I have a system of inequalities written in the form

and I would like to rearrange it in a way that is more expicitly expressed in terms of the variables x and y, so ideally having something that looks like

plus additional conditions on the parameters a and b if there is more than one range of solutions.

For those of you who are familiar with Mathematica, this is essentially what it is accomplished with Mathematica's function "Reduce". Some people may call this, "solving" the system of inequalities. But that can be misleading because Matlab can apply the "solve" function to a system of inequalities, but unfortunately it only returns an equality that satisfies the inequalities (in Mathematica's terms, this would be more like an analytical version of "FindInstance"): this is not what I am looking for.

Is there a way to do that inequality manipulation in Matlab?

Thanks in advance for your help.

Dom.