QEPCAD Solver taking a long time

[anirjoshi]

Steps To Reproduce

1. I have installed sage according to the issue.
2. Am trying to run QEPCAD with sage.
3. The following file when run with sage does not seem to terminate, the contents of the file are as follows:

var('y')
var('r')
qf = qepcad_formula

constr1 = ((Rational(2/1)* (y))  + (Rational(1/1)* (r)) < 0)
constr2 = ((Rational(-1/1)) < 0)

F1 = qf.and_(constr1, constr2)

print(qepcad(qf.exists(y,F1)))

Where as the following file terminates with the answer quiet instantaneously:

var('y')
var('r')
qf = qepcad_formula

constr1 = ((Rational(2/1)* (y))  + (Rational(1/1)* (r)) < 0)

print(qepcad(qf.exists(y,constr1)))

The first file should also return instantaneously as constr2 does not contain y.

Expected Behavior

The file with the following contents:

var('y')
var('r')
qf = qepcad_formula

constr1 = ((Rational(2/1)* (y))  + (Rational(1/1)* (r)) < 0)
constr2 = ((Rational(-1/1)) < 0)

F1 = qf.and_(constr1, constr2)

print(qepcad(qf.exists(y,F1)))

Should output True instantaneously.

Actual Behavior

It does not seem to terminate.

Additional Information

No response

Environment

- **OS**: Ubuntu 20.04
- **Sage Version**:10.2

Checklist

• I have searched the existing issues for a bug report that matches the one I want to file, without success.
• I have read the documentation and troubleshoot guide