Macaulay2 / M2

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
https://macaulay2.com
346 stars 231 forks source link

Crash in getSequenceOfSmallIntegers in util.d #2111

Open mahrud opened 3 years ago

mahrud commented 3 years ago

From an example of superTrace in SuperLinearAlgebra that ran here:

-- -*- M2-comint -*- hash: 325525533

i1 : R1 = QQ[x_0..x_3];

i2 : R2 = QQ[z_0..z_2];

i3 : R = superRing(R1, R2);
-- SIGSEGV
-* stack trace, pid: 14966
 0# stack_trace(std::ostream&, bool) at ../../Macaulay2/bin/main.cpp:124
 1# segv_handler at ../../Macaulay2/bin/main.cpp:240
 2# 0x00007F8656BD3210 in /lib/x86_64-linux-gnu/libc.so.6
 3# GC_malloc_kind in /lib/x86_64-linux-gnu/libgc.so.1
 4# util_getSequenceOfSmallIntegers at /home/runner/work/M2/M2/M2/Macaulay2/d/util.d:89
 5# interface_rawSubmatrix at /home/runner/work/M2/M2/M2/Macaulay2/d/interface.dd:2675
d-torrance commented 4 days ago

Possibly related?

From https://launchpadlibrarian.net/757231117/buildlog_ubuntu-focal-amd64.macaulay2_1.24.11+git202411010018-0ppa202410310431~ubuntu20.04.1_BUILDING.txt.gz:

 -- _super__Trace.errors
 -- ********************
 -- -- -*- M2-comint -*- hash: 109770619857870877
 -- 
 -- i1 : R1 = QQ[x_0..x_3];
 -- 
 -- i2 : R2 = QQ[z_0..z_2];
 -- 
 -- i3 : R = superRing(R1, R2);
 -- -- SIGSEGV
 -- -* stack trace, pid: 119432
 --  0# stack_trace(std::ostream&, bool) at ./M2/Macaulay2/d/main.cpp:136
 --  1# segv_handler at ./M2/Macaulay2/d/main.cpp:258
 --  2# 0x0000758172120090 in /lib/x86_64-linux-gnu/libc.so.6
 --  3# GC_malloc_kind in /usr/lib/x86_64-linux-gnu/libgc.so.1
 --  4# getmem_atomic at ./M2/Macaulay2/d/M2mem.c:119
 --  5# M2_tostring at ./M2/Macaulay2/d/M2.d:32
 --  6# gmp_tostring at ./M2/Macaulay2/d/gmp.d:545
 --  7# tostringfun at ./M2/Macaulay2/d/actors4.d:946
 --  8# method1 at ./M2/Macaulay2/d/actors5.d:743
 --  9# evaluate_evalraw at ./M2/Macaulay2/d/evaluate.d:1437
 -- 10# evaluate_applyFCS at ./M2/Macaulay2/d/evaluate.d:567
 -- 11# evaluate_evalraw at ./M2/Macaulay2/d/evaluate.d:1437
 -- 12# evaluate_applyFCE at ./M2/Macaulay2/d/evaluate.d:766