I am probably missing something about how to use sage:
If I run this:
x = var('x')
a = var('a')
solve([a*x>0,a>0],[x])
I get this results:
[[0 < x, a > 0], [x < 0, -a > 0, a > 0]]
However, I would expect something like:
[0 < x, a > 0]
What am I missing?
Thanks