-
-
Notifications
You must be signed in to change notification settings - Fork 473
New issue
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
QEPCAD Timeout #38781
Comments
I this issue is irrelevant to Sage, it should be reported to Qepcad developers. |
@maxale , Thank you for the quick response. Since I used Sage software, therefore I thought this is the correct place to report the issue. It would be great if you/someone can point me to the Qepcad developers? |
@anirjoshi: No, it's not a right place as Sage is not responsible for issues in other packages, which it uses as blackboxes. For Qepcad issues, please check its homepage: https://www.usna.edu/CS/qepcadweb/B/QEPCAD.html |
I don't understand the computation
The last line is the output I get on my Linux machine. |
Probably a better place to report QEPCAD issues is https://github.com/chriswestbrown/qepcad Although they seem to be putting all the work into a successor project, https://github.com/chriswestbrown/tarski |
Anyhow, running
just prints an empty line on my Linux laptop. |
@dimpase Thank you for the pointer to the appropriate QEPCAD repo. The output is supposed to simply be the formula in the square brackets after |
Does this work on small examples? |
Steps To Reproduce
sage
with version 10.3 [I believe the same issue exists with 10.4 as well]The following program times-out:
Quantification out of the
tmp
variable should be pretty easy since this only appears in the constrainttmp==0
.Expected Behavior
A formula without the
tmp
variable.Actual Behavior
Just keeps running for a long time.
Additional Information
No response
Environment
Checklist
The text was updated successfully, but these errors were encountered: