Opened 9 years ago

Closed 9 years ago

#620 closed bug (invalid)

sres crashes in trivial quotient

Reported by: ren Owned by: hannes
Priority: major Milestone: 4-1-0 and higher
Component: singular-kernel Version: 4-0-0
Keywords: Cc:

Description

One newstruct variable in my code has a member variable of type qring, which is where these trivial quotients come up.

> ring r=(0,a),(x,y),dp;
> qring q = std(0);
> ideal I = x,y;
> sres(I,0);
// ** full resolution in a qring may be infinite, setting max length to 2

Program received signal SIGSEGV, Segmentation fault.
0x00000000006602ed in p_GetExp (p=0x0, iBitmask=4294967295, VarOffset=536870913)
    at monomials/p_polys.h:474
474	         ((p->exp[(VarOffset & 0xffffff)] >> (VarOffset >> 24))
(gdb) bt
#0  0x00000000006602ed in p_GetExp (p=0x0, iBitmask=4294967295, VarOffset=536870913)
    at monomials/p_polys.h:474
#1  0x000000000066044e in p_GetExp (p=0x0, v=2, r=0x7ffff6175160) at monomials/p_polys.h:572
#2  0x000000000066610d in p_Lcm (a=0x7ffff6161a78, b=0x0, m=0x7ffff6178120, r=0x7ffff6175160)
    at monomials/p_polys.cc:1586
#3  0x00000000005ab98a in syCreatePairs (F=0x7ffff6160d88, lini=0, wend=0, k=0, j=0, i=0, 
    pairs=0x7ffff615f308, regularPairs=2, mW=0x0) at syz0.cc:96
#4  0x00000000005adfd5 in sySchreyersSyzygiesFB (arg=0x7ffff61760c0, modcomp=0x7fffffff9ed8, mW=0x0, 
    redTail=1) at syz0.cc:566
#5  0x00000000005af885 in sySchreyerResolvente (arg=0x7ffff6176120, maxlength=2, length=0x7fffffff9f6c, 
    isMonomial=0) at syz0.cc:906
#6  0x00000000005b0056 in sySchreyer (arg=0x7ffff6176120, maxlength=2) at syz0.cc:1018
#7  0x00000000004b14dc in jjRES (res=0x7fffffffce50, u=0x7fffffffa1a0, v=0x7fffffffa210)
    at iparith.cc:3135
#8  0x00000000004c179c in iiExprArith2 (res=0x7fffffffce50, a=0x7fffffffa1a0, op=332, b=0x7fffffffa210, 
    proccall=1) at iparith.cc:7823
#9  0x000000000049eb65 in yyparse () at grammar.y:646
#10 0x00000000004960ba in main (argc=1, argv=0x7fffffffe1e8) at tesths.cc:232

Change History (2)

comment:1 Changed 9 years ago by ren

Component: dontKnowsingular-kernel
Owner: changed from somebody to hannes

comment:2 Changed 9 years ago by ren

Resolution: invalid
Status: newclosed

already fixed in newest version.

Note: See TracTickets for help on using tickets.