#20126: QEPCAD does not pass optional "memcells" to the constructor
--------------------------+----------------------------
Reporter: yzh | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-7.1
Component: interfaces | Keywords: QEPCAD
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
--------------------------+----------------------------
In the following problem of simplifying quantifier free formulas, QEPCAD
crashed with the failure "Too few cells reclaimed."
{{{
sage: var('x,y,z')
(x, y, z)
sage: conds = [-z < 0, -y + z < 0, x^2 + x*y + 2*x*z + 2*y*z - x < 0, \
x^2 + x*y + 3*x*z + 2*y*z + 2*z^2 - x - z < 0, \
-2*x + 1 < 0, -x*y - x*z - 2*y*z - 2*z^2 + z < 0, \
x + 3*y + 3*z - 1 < 0]
sage: qepcad(conds)
Qepcad crashed -- automatically restarting.
sage: qe = qepcad(conds, interact=True)
sage: qe.go()
QEPCAD object has moved to phase 'Before Projection (z)'
sage: qe.go()
QEPCAD object has moved to phase 'Before Choice'
sage: qe.go()
** 90355 cells, 19999 arrays in 17 milliseconds.
Failure occurred in: GCSI (final check)
Reason for the failure: Too few cells reclaimed.
N = 90355
NU = 1000000
RHO = 10
Now the FAIL handler is aborting the program ...
}}}
This could be solved by augmenting `memcells` to 200000. One excepts that
{{{
sage: qepcad(conds, memcells=2000000)
2 x - 1 > 0 /\ z > 0 /\ z - y < 0 /\ 3 z + 3 y + x - 1 < 0
}}}
However, the current Sage interface to QEPCAD forgets to pass `memcells`
to the constructor of QEPCAD.
--
Ticket URL: <http://trac.sagemath.org/ticket/20126>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
