solve() returns 0 != 0
Hi,
For the code below
var('x')
eq1 = x == 0
eq2 = x != 0
solve([eq1, eq2], x)
I get the solution
[[x == 0, 0 != 0]]
I was expecting an empty solution because I guess there isn't a solution to my equations.
Is there a way to avoid such "impossible solutions" and get an empty solution instead?
Thanks