solve_ineq returns strange output
var("x y") ineq = [x==y, y<=0] s = solve_ineq(ineq,[x]) s
[[x == y, y], [x == y, -y > 0]]
I understand the second set, but not the first. What does it mean when the inequality is just "y"?
A related question: how do I differentiate between inequalities with "==" or ">" and inequalities without?
Currently, when I ask:
print type(s) print type(s)
I get the same result:
<type 'sage.symbolic.expression.Expression'> <type 'sage.symbolic.expression.Expression'>