Macaulay2 / Macaulay2/M2

SubalgebraBases core dump

Open
#3,555 0 comments 0 reactions 0 assignees View on GitHub
build issue
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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.