SageMath 10.3 Qepcad crashed -- automatically restarting

21 views
Skip to first unread message

Ani J

unread,
Jun 28, 2024, 10:06:30 AM (5 days ago) Jun 28
to sage-devel
### Steps To Reproduce

1. I installed Sage-Math 10.3 for my Mac M2 from [https://github.com/3-manifolds/Sage_macOS/releases/](link)
2. I tried running a program containing QEPCAD
3. Sage outputs `Qepcad crashed -- automatically restarting`
4. Previously asked about this, but the response was that this is resolved in 10.3 [previous issue](https://github.com/sagemath/sage/issues/38050#issue-2308818637)
5. The input program is the following: Note that even without `memcells='10000000 +L5000'` it crashes.
```
var('x_5_0')
var('x_5_1')
var('d')
var('x_0_0')
var('x_0_1')
var('x_1_0')
var('x_1_1')
var('x_2_0')
var('x_2_1')
var('x_3_0')
var('x_3_1')
var('x_4_0')
var('x_4_1')
var('tmp')
qf = qepcad_formula
constr0 = (tmp - tmp +(Rational(-1/1)* (d)) + (Rational(1/1)* (x_0_0^2)) + (Rational(-3/4))< 0)
constr1 = (tmp - tmp +(Rational(-1/2)) + (Rational(-1/1)* (d))< 0)
constr2 = (tmp - tmp +(Rational(1/1)) + (Rational(-1/1)* (d))< 0)
constr3 = (tmp - tmp +(Rational(-1/2)) + (Rational(-1/1)* (d))< 0)
constr4 = (tmp - tmp +(Rational(1/4)) + (Rational(-1/1)* (d))< 0)
constr5 = (tmp - tmp +(Rational(-1/1)* (d)) + (Rational(-1/1)) + (Rational(1/1)* (x_5_1^2)) + (Rational(1/1)* (x_5_0^2))< 0)
constr6 = (tmp - tmp +(Rational(-1/1)* (x_0_0)) + (Rational(-1/1)* (d)) + (Rational(-1/1)* (x_0_0^2)) + (Rational(-1/4))< 0)
constr7 = (tmp - tmp +(Rational(2/1)* (x_0_0)) + (Rational(-1/1)* (d)) + (Rational(-1/1)* (x_0_0^2)) + (Rational(-9/4))< 0)
constr8 = (tmp - tmp +(Rational(1/1)* (x_0_0)) + (Rational(-1/1)* (d)) + (Rational(-1/1)* (x_0_0^2)) + (Rational(-1/4))< 0)
constr9 = (tmp - tmp +(Rational(-1/1)* (x_0_0)) + (Rational(-1/1)* (d)) + (Rational(-1/1)* (x_0_0^2)) + (Rational(-3/2))< 0)
constr10 = (tmp - tmp +(Rational(1/1)* (x_5_1)) + (Rational(-1/1)* (x_5_0^2)) + (Rational(-1/1)* (d)) + (Rational(3/4)) + (Rational(2/1)* (x_0_0)* (x_5_0)) + (Rational(-1/1)* (x_5_1^2)) + (Rational(-1/1)* (x_0_0^2))< 0)
constr11 = (tmp - tmp +(Rational(-3/2)) + (Rational(-1/1)* (d))< 0)
constr12 = (tmp - tmp +(Rational(0/1)) + (Rational(-1/1)* (d))< 0)
constr13 = (tmp - tmp +(Rational(3/4)) + (Rational(-1/1)* (d))< 0)
constr14 = (tmp - tmp +(Rational(-1/1)* (x_5_1)) + (Rational(-1/1)* (x_5_1^2)) + (Rational(1/2)) + (Rational(-1/1)* (x_5_0)) + (Rational(-1/1)* (x_5_0^2)) + (Rational(-1/1)* (d))< 0)
constr15 = (tmp - tmp +(Rational(1/2)) + (Rational(-1/1)* (d))< 0)
constr16 = (tmp - tmp +(Rational(-5/4)) + (Rational(-1/1)* (d))< 0)
constr17 = (tmp - tmp +(Rational(-2/1)* (x_5_1)) + (Rational(-1/1)* (x_5_1^2)) + (Rational(-1/1)) + (Rational(2/1)* (x_5_0)) + (Rational(-1/1)* (x_5_0^2)) + (Rational(-1/1)* (d))< 0)
constr18 = (tmp - tmp +(Rational(-1/4)) + (Rational(-1/1)* (d))< 0)
constr19 = (tmp - tmp +(Rational(-1/1)* (x_5_1)) + (Rational(-1/1)* (x_5_1^2)) + (Rational(1/2)) + (Rational(1/1)* (x_5_0)) + (Rational(-1/1)* (x_5_0^2)) + (Rational(-1/1)* (d))< 0)
constr20 = (tmp - tmp +(Rational(-2/1)* (x_5_1)) + (Rational(-1/1)* (x_5_1^2)) + (Rational(-1/4)) + (Rational(-1/1)* (x_5_0)) + (Rational(-1/1)* (x_5_0^2)) + (Rational(-1/1)* (d))< 0)
constr21 = (tmp - tmp +(Rational(-1/1)* (d))< 0)
F = qf.and_(constr0, constr1, constr2, constr3, constr4, constr5, constr6, constr7, constr8, constr9, constr10, constr11, constr12, constr13, constr14, constr15, constr16, constr17, constr18, constr19, constr20, constr21)
print(qepcad(qf.exists(x_0_0,F) ,memcells='10000000 +L5000'))
```

### Expected Behavior

It should output the formula the we get after quantifier elimination.

### Actual Behavior

Sage crashes and outputs `Qepcad crashed -- automatically restarting`

### Additional Information

Similar issues were raised previously in a lot of places including:
[link 1](https://github.com/sagemath/sage/issues/38050#issue-2308818637)
[link 2](https://github.com/sagemath/sage/issues/37349#issue-2135481233)
[link 3](https://github.com/sagemath/sage/issues/37349#issue-2135481233)
[link 4](https://github.com/sagemath/sage/issues/37518#issue-2164791030)

### Environment

```markdown
- **OS**: Mac M2 Ventura 13.4
- **Sage Version**: 10.3
```
Reply all
Reply to author
Forward
0 new messages