SubalgebraBases core dump
- Dominant language
- Macaulay2
- Stars
- 435
- Forks
- 297
- Avg merge
- 4d 20h
- Merged PRs (30d)
- 11
Description
This has happened a few times recently, e.g.: https://github.com/Macaulay2/M2/actions/runs/11585410582/job/32254282908
```m2
2024-10-30T04:18:22.4233960Z -- making example results for "regularityBound"
sh: line 1: 95421 Abort trap: 6 (core dumped) GC_MAXIMUM_HEAP_SIZE=400M "/Users/runner/work/M2/M2/M2/BUILD/build/usr-dist/x86_64-Darwin-macOS-13.7/bin/M2-binary" -q --no-randomize --no-readline --silent --stop --print-width 77 -e 'needsPackage("SubalgebraBases",Reload=>true,FileName=>"/Users/runner/work/M2/M2/M2/Macaulay2/packages/SubalgebraBases.m2")' < "/var/folders/nj/wh528zms06j9t8y7bmlvpmjm0000gn/T/M2-95272-0/0___Example_co_sp__Translation_spand_sprotation_spsub-actions_spof_spthe_spadjoint_spaction_spof_sp__S__E_lp3_rp.m2" >> "/Users/runner/work/M2/M2/M2/BUILD/build/usr-dist/common/share/doc/Macaulay2/SubalgebraBases/example-output/___Example_co_sp__Translation_spand_sprotation_spsub-actions_spof_spthe_spadjoint_spaction_spof_sp__S__E_lp3_rp.errors" 2>&1
2024-10-30T04:18:22.4248500Z
2024-10-30T04:18:22.4261320Z ulimit -c unlimited; ulimit -t 700; ulimit -s 8192; ulimit -n 512; cd /var/folders/nj/wh528zms06j9t8y7bmlvpmjm0000gn/T/M2-95272-0/6-rundir/; GC_MAXIMUM_HEAP_SIZE=400M "/Users/runner/work/M2/M2/M2/BUILD/build/usr-dist/x86_64-Darwin-macOS-13.7/bin/M2-binary" -q --no-randomize --no-readline --silent --stop --print-width 77 -e 'needsPackage("SubalgebraBases",Reload=>true,FileName=>"/Users/runner/work/M2/M2/M2/Macaulay2/packages/SubalgebraBases.m2")' <"/var/folders/nj/wh528zms06j9t8y7bmlvpmjm0000gn/T/M2-95272-0/0___Example_co_sp__Translation_spand_sprotation_spsub-actions_spof_spthe_spadjoint_spaction_spof_sp__S__E_lp3_rp.m2" >>"/Users/runner/work/M2/M2/M2/BUILD/build/usr-dist/common/share/doc/Macaulay2/SubalgebraBases/example-output/___Example_co_sp__Translation_spand_sprotation_spsub-actions_spof_spthe_spadjoint_spaction_spof_sp__S__E_lp3_rp.errors" 2>&1
2024-10-30T04:18:22.4275020Z /Users/runner/work/M2/M2/M2/BUILD/build/usr-dist/common/share/doc/Macaulay2/SubalgebraBases/example-output/___Example_co_sp__Translation_spand_sprotation_spsub-actions_spof_spthe_spadjoint_spaction_spof_sp__S__E_lp3_rp.errors:0:1:(3):[12]: (output file) error: Macaulay2 killed by signal 6
2024-10-30T04:18:22.4783200Z /var/folders/nj/wh528zms06j9t8y7bmlvpmjm0000gn/T/M2-95272-0/0___Example_co_sp__Translation_spand_sprotation_spsub-actions_spof_spthe_spadjoint_spaction_spof_sp__S__E_lp3_rp.m2:0:1: (input file)
2024-10-30T04:18:22.5947810Z M2: *** Error 6
2024-10-30T04:18:22.6114100Z -- 109.236s elapsed
```
The error log doesn't have a stacktrace:
```m2
-- -*- M2-comint -*- hash: 7344428018540528067
i1 : gndR = QQ[(t_1..t_3)|(w_1..w_3)|(v_1..v_3), MonomialOrder => Lex];
i2 : translation := matrix {{w_1}, {w_2}, {w_3}, {t_1*w_2+t_2*w_3+v_1},
{-t_1*w_1+t_3*w_3+v_2}, {-t_2*w_1-t_3*w_2+v_3}};
6 1
o2 : Matrix gndR <-- gndR
i3 : sag := sagbi transpose translation;
i4 : netList first entries gens sag
+------------------+
o4 = |w |
| 3 |
+------------------+
|w |
| 2 |
+------------------+
|w |
| 1 |
+------------------+
|t w + t w - v |
| 2 1 3 2 3 |
+------------------+
|t w + t w + v |
| 1 2 2 3 1 |
+------------------+
|t w - t w - v |
| 1 1 3 3 2 |
+------------------+
|w v + w v + w v |
| 1 1 2 2 3 3|
+------------------+
i5 : R = QQ[x_1..x_9, MonomialOrder => Lex];
i6 : eqns := {x_1^2+x_2^2+x_3^2-1, x_1*x_4+x_2*x_5+x_3*x_6,
x_1*x_7+x_2*x_8+x_3*x_9, x_1*x_4+x_2*x_5+x_3*x_6,
x_4^2+x_5^2+x_6^2-1, x_4*x_7+x_5*x_8+x_6*x_9,
x_1*x_7+x_2*x_8+x_3*x_9, x_4*x_7+x_5*x_8+x_6*x_9,
x_7^2+x_8^2+x_9^2-1,
x_1*x_5*x_9-x_1*x_6*x_8-x_2*x_4*x_9+x_2*x_6*x_7+x_3*x_4*x_8-x_3*x_5*x_7-1};
i7 : sag1 = subring sagbi eqns;
```
Could be related to #2774.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reproducing the reported example involving regularityBound and the input that calls sagbi and subring sagbi eqns. Inspect packages/SubalgebraBases.m2 and the linked CI run; done means the example completes without Macaulay2 aborting with signal 6 and its output is generated successfully.
Written by the indexing model from the issue text.
Assessment
- Domain
- backend
- Issue type
- Bug
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100