*Steps To Reproduce*
1. My machine is Mac M2 with the OS Ventura 13.4
2. I already have installed sage with version 10.3 [I believe the same
issue exists with 10.4 as well]
The following program times-out:
*var('x')*
*var('a')*
*var('y')*
*var('b')*
*var('r')*
*qf = qepcad_formula*
*F0 = (0 > 0 + 1*x*x*a*a + 1*y*y*b*b + -1*a*a*b*b)*
*F1 = (0 > 0 + 1*x*x + 1*y*y + -20*x + -20*y + -1*r*r + 200)*
*F2 = qf.and_(F0,F1)*
*F3 = qf.and_(F2)*
*var("tmp")*
*eliminate_trick =
qepcad(qf.exists(tmp,qf.and_(tmp==0,F3)),memcells='1000000000 +L5000')*
*print(eliminate_trick)*
Quantification out of the *tmp* variable should be pretty easy since this
only appears in the constraint *tmp==0*.
*Expected Behavior*
A formula without the tmp variable.
*Actual Behavior*
Just keeps running for a long time.
*Environment*
- *OS*: Mac M2 with the OS Ventura 13.4
- *Sage Version*: 10.3
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-support/f79044c3-4718-408b-8928-c02acbbf2781n%40googlegroups.com.
