We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
finish &
SageMath version 10.1
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)))
It should print the formula that we get after quantifying out the variable x from the input formula.
x
It prints an unexpected finish &
No response
- **OS**: MacOS 13.4 - **Sage Version**: `SageMath version 10.1`
The text was updated successfully, but these errors were encountered:
Qepcad has been updated in 10.3, see #36837
Not sure if this has fixed this issue, though.
Sorry, something went wrong.
This issue is fixed in 10.3, which can be seen from running the code at Sagecell: https://sagecell.sagemath.org/?q=qiypmw
Sure thank you for the response!
No branches or pull requests
Steps To Reproduce
SageMath version 10.1
finish &
: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
Checklist
The text was updated successfully, but these errors were encountered: