QEPCAD prints `finish &`

[anirjoshi]

trafficstars

Steps To Reproduce

1. Consider the version SageMath version 10.1
2. The following program prints finish &:

var('x')
var('a')
var('b')
qf = qepcad_formula
constr0 = (Rational(-15/16))  + (Rational(1/1)* (x^4)) < 0
constr1 = (Rational(-3/4))  + (Rational(1/1)* (x^2))  + (Rational(-2/2)* (a))  + (Rational(-2/1)* (x)* (b))  + (Rational(1/1)* (a^2))  + (Rational(1/1)* (b^2)) < 0
F1 = qf.and_(constr0, constr1)
print(qepcad(qf.exists(x,F1)))

Expected Behavior

It should print the formula that we get after quantifying out the variable x from the input formula.

Actual Behavior

It prints an unexpected finish &

Additional Information

No response

Environment

- **OS**: MacOS 13.4

- **Sage Version**: `SageMath version 10.1`

Checklist

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

[dimpase]

Qepcad has been updated in 10.3, see https://github.com/sagemath/sage/pull/36837

Not sure if this has fixed this issue, though.

[maxale]

This issue is fixed in 10.3, which can be seen from running the code at Sagecell: https://sagecell.sagemath.org/?q=qiypmw

[anirjoshi]

Sure thank you for the response!