Opened 9 years ago
Closed 9 years ago
#487 closed bug (fixed)
Error message
Reported by: | Owned by: | somebody | |
---|---|---|---|
Priority: | minor | Milestone: | 3-2-0 and higher |
Component: | dontKnow | Version: | 3-1-6 |
Keywords: | Cc: | alidick@… |
Description
Hi,
I got the following error message from Singular:
Singular : signal 11 (v: 3042/2012021501): Segment fault/Bus error occurred at b7153150 because of 536cf9fc (r:1365608715) please inform the authors
I was using the following code: ring r = (0,a2,b2,a1,b1,c1,c2,a3,b3,c3,a4,b4,c4),(e,f,t,s,y1,y2,y3,y4,s0,s1,s2,k1,k2,k3),dp; poly fs0 = - a1*s0*e + b1*y1 + c4*y4; poly fs2 = c2*y2 - a3*s2*f + b3*y3; poly fy1 = a1*s0*e - (b1+c1)*y1; poly fy2 = a2*s1*e - (b2+c2)*y2; poly fy3 = a3*s2*f - (b3+c3)*y3; poly fy4 = a4*s1*f - (b4+c4)*y4; poly ls = s0+s1+s2+y1+y2+y3+y4-k1; poly le = e+y1+y2-k2; poly lf = f+y3+y4-k3; ideal i = fs0,fs2,fy1,fy2,fy3,fy4; option(redSB); poly ii1=(c2)*y2+(-c3)*y3; poly ii2=(-c1)*y1+(c4)*y4; poly ii3=(a3)*f*s2+(-b3-c3)*y3; poly ii4=(b3*a4+c3*a4)*y3*s1+(-a3*b4-a3*c4)*y4*s2; poly ii5=(a4)*f*s1+(-b4-c4)*y4; poly ii6=(a2*c2)*e*s1+(-b2*c3-c2*c3)*y3; poly ii7=(-b2*a1*c1*c3-a1*c1*c2*c3)*y3*s0+(a2*b1*c2*c4+a2*c1*c2*c4)*y4*s1; poly ii8=(-a1*c1)*e*s0+(b1*c4+c1*c4)*y4; poly ii9=(-b2*c3*a4-c2*c3*a4)*f*y3+(a2*c2*b4+a2*c2*c4)*e*y4; poly ii10=(a2*c2*a3*b4+a2*c2*a3*c4)*e*y4*s2+(-b2*b3*c3*a4-b2*c3^{2*a4-c2*b3*c3*a4-c2*c3}2*a4)*y3^{2; poly ii11=(a2*b1*c2*b3*a4*c4+a2*b1*c2*c3*a4*c4+a2*c1*c2*b3*a4*c4+a2*c1*c2*c3*a4*c4)*y4*s1}2+(-b2*a1*c1*a3*c3*b4-b2*a1*c1*a3*c3*c4-a1*c1*c2*a3*c3*b4-a1*c1*c2*a3*c3*c4)*y4*s0*s2; poly ii12=y1+y2+y3+y4+s0+s1+s2-k1; poly ii13=e+y1+y2-k2; poly ii14=f+y3+y4-k3; ideal ii = ii1,ii2,ii3,ii4,ii5,ii6,ii7,ii8,ii9,ii10,ii11,ii12,ii13,ii14,e*t-1,f*s-1; ideal jj = std(ii); jj; ideal ky=eliminate(jj,y1*y2*y3*y4); ideal kef=eliminate(jj,e*f*t*s);
If you happen to get the output, I'd be most grateful to receive it. Many thanks, Alicia Dickenstein, alidick@…
Attachments (1)
Change History (2)
Changed 9 years ago by
Attachment: | shape3bS.txt added |
---|
comment:1 Changed 9 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Example runs smoothly in version 3-1-6. Wolfram Decker
I attach the code that produced the error, since it did not get well pasted in the ticket