# Revision history [back]

### Solve returns bad results

I'm trying to use Sage to determine if a collection of (polynomial) inequalities has a solution or not. Ideally, I think I should use qepcad but I am having problems getting it to install. I thought I would try to see if standalone Sage would do the trick and began working with the solve function to get familiar with it. Already I'm running into very weird results. For example I run the following code:

x,y = var('x,y')
circ = x**2 + y**2 == 1
line = y == x
badIneq = y > 1


Now, if I execute

solve([circ, line], x)


it returns [] instead of the two solutions I expect. Furthermore, the code

assume(x,'real')
assume(y,'real')