Sry this isn't correct. it would have to be: > restart; > assume(z, complex); > sol := solve(3*Im(z)^2-1 <= -abs(conjugate(z))^2, z); And this doesn't print anything! Your mistake was that it should have been Im(z)^2 and not (z)^2. And this is solvable as it turned out by doing it on my own.

Sry this isn't correct. it would have to be: > restart; > assume(z, complex); > sol := solve(3*Im(z)^2-1 <= -abs(conjugate(z))^2, z); And this doesn't print anything! Your mistake was that it should have been Im(z)^2 and not (z)^2. And this is solvable as it turned out by doing it on my own.