Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

SubalgebraBases core dump #3555

Open
mahrud opened this issue Oct 30, 2024 · 0 comments
Open

SubalgebraBases core dump #3555

mahrud opened this issue Oct 30, 2024 · 0 comments
Labels
build issue platform specific issues involving compiling M2, generating examples, or running tests

Comments

@mahrud
Copy link
Member

mahrud commented Oct 30, 2024

This has happened a few times recently, e.g.: https://github.com/Macaulay2/M2/actions/runs/11585410582/job/32254282908

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-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.

@mahrud mahrud added the build issue platform specific issues involving compiling M2, generating examples, or running tests label Oct 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
build issue platform specific issues involving compiling M2, generating examples, or running tests
Projects
None yet
Development

No branches or pull requests

1 participant