Opened 6 years ago

Closed 6 years ago

#826 closed bug (fixed)

slimgb() causes segment fault

Reported by: steenpass Owned by: somebody
Priority: minor Milestone: 4-2-0 and higher
Component: dontKnow Version: 4-1-0
Keywords: slimgb Cc:

Description

> ring R = 32003, (x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,y1,y2,y3,y4,y5,y6,y7,y8,y9,y10,y11,y12,z1,z2,z3,z4,z5,z6,z7,z8,z9,z10,z11,z12), dp;
> ideal Q;
> Q[1]=-x12*y4*y11*z1*z10+x11*y4*y12*z1*z10+x12*y1*y11*z4*z10-x11*y1*y12*z4*z10+x12*y4*y10*z1*z11-x4*y10*y12*z1*z11-x12*y1*y10*z4*z11+x1*y10*y12*z4*z11+x4*y1*y12*z10*z11-x1*y4*y12*z10*z11-x11*y4*y10*z1*z12+x4*y10*y11*z1*z12+x11*y1*y10*z4*z12-x1*y10*y11*z4*z12-x4*y1*y11*z10*z12+x1*y4*y11*z10*z12;
> Q[2]=-x9*y4*y8*z1*z7+x8*y4*y9*z1*z7+x9*y1*y8*z4*z7-x8*y1*y9*z4*z7+x9*y4*y7*z1*z8-x4*y7*y9*z1*z8-x9*y1*y7*z4*z8+x1*y7*y9*z4*z8+x4*y1*y9*z7*z8-x1*y4*y9*z7*z8-x8*y4*y7*z1*z9+x4*y7*y8*z1*z9+x8*y1*y7*z4*z9-x1*y7*y8*z4*z9-x4*y1*y8*z7*z9+x1*y4*y8*z7*z9;
> Q[3]=x11*x12*y5*y8*y9*z4*z6-x8*x12*y5*y9*y11*z4*z6-x9*x11*y5*y8*y12*z4*z6+x8*x9*y5*y11*y12*z4*z6-x11*x12*y4*y5*y9*z6*z8+x5*x12*y4*y9*y11*z6*z8+x9*x11*y4*y5*y12*z6*z8-x5*x9*y4*y11*y12*z6*z8-x11*x12*y5*y6*y8*z4*z9+x8*x12*y5*y6*y11*z4*z9+x5*x11*y6*y8*y12*z4*z9-x5*x8*y6*y11*y12*z4*z9-x5*x11*y4*y8*y12*z6*z9+x4*x11*y5*y8*y12*z6*z9+x5*x8*y4*y11*y12*z6*z9-x4*x8*y5*y11*y12*z6*z9+x11*x12*y4*y5*y6*z8*z9-x5*x12*y4*y6*y11*z8*z9-x4*x11*y5*y6*y12*z8*z9+x4*x5*y6*y11*y12*z8*z9+x8*x12*y4*y5*y9*z6*z11-x5*x12*y4*y8*y9*z6*z11-x8*x9*y4*y5*y12*z6*z11+x5*x9*y4*y8*y12*z6*z11-x8*x12*y4*y5*y6*z9*z11+x5*x12*y4*y6*y8*z9*z11+x4*x8*y5*y6*y12*z9*z11-x4*x5*y6*y8*y12*z9*z11+x9*x11*y5*y6*y8*z4*z12-x5*x11*y6*y8*y9*z4*z12-x8*x9*y5*y6*y11*z4*z12+x5*x8*y6*y9*y11*z4*z12+x5*x11*y4*y8*y9*z6*z12-x4*x11*y5*y8*y9*z6*z12-x5*x8*y4*y9*y11*z6*z12+x4*x8*y5*y9*y11*z6*z12-x9*x11*y4*y5*y6*z8*z12+x4*x11*y5*y6*y9*z8*z12+x5*x9*y4*y6*y11*z8*z12-x4*x5*y6*y9*y11*z8*z12+x8*x9*y4*y5*y6*z11*z12-x5*x9*y4*y6*y8*z11*z12-x4*x8*y5*y6*y9*z11*z12+x4*x5*y6*y8*y9*z11*z12;
> Q[4]=-x11*y8*z5+x8*y11*z5+x11*y5*z8-x5*y11*z8-x8*y5*z11+x5*y8*z11;
> Q[5]=x11*x12*y2*y8*y9*z1*z3-x8*x12*y2*y9*y11*z1*z3-x9*x11*y2*y8*y12*z1*z3+x8*x9*y2*y11*y12*z1*z3-x11*x12*y1*y2*y9*z3*z8+x2*x12*y1*y9*y11*z3*z8+x9*x11*y1*y2*y12*z3*z8-x2*x9*y1*y11*y12*z3*z8-x11*x12*y2*y3*y8*z1*z9+x8*x12*y2*y3*y11*z1*z9+x2*x11*y3*y8*y12*z1*z9-x2*x8*y3*y11*y12*z1*z9-x2*x11*y1*y8*y12*z3*z9+x1*x11*y2*y8*y12*z3*z9+x2*x8*y1*y11*y12*z3*z9-x1*x8*y2*y11*y12*z3*z9+x11*x12*y1*y2*y3*z8*z9-x2*x12*y1*y3*y11*z8*z9-x1*x11*y2*y3*y12*z8*z9+x1*x2*y3*y11*y12*z8*z9+x8*x12*y1*y2*y9*z3*z11-x2*x12*y1*y8*y9*z3*z11-x8*x9*y1*y2*y12*z3*z11+x2*x9*y1*y8*y12*z3*z11-x8*x12*y1*y2*y3*z9*z11+x2*x12*y1*y3*y8*z9*z11+x1*x8*y2*y3*y12*z9*z11-x1*x2*y3*y8*y12*z9*z11+x9*x11*y2*y3*y8*z1*z12-x2*x11*y3*y8*y9*z1*z12-x8*x9*y2*y3*y11*z1*z12+x2*x8*y3*y9*y11*z1*z12+x2*x11*y1*y8*y9*z3*z12-x1*x11*y2*y8*y9*z3*z12-x2*x8*y1*y9*y11*z3*z12+x1*x8*y2*y9*y11*z3*z12-x9*x11*y1*y2*y3*z8*z12+x1*x11*y2*y3*y9*z8*z12+x2*x9*y1*y3*y11*z8*z12-x1*x2*y3*y9*y11*z8*z12+x8*x9*y1*y2*y3*z11*z12-x2*x9*y1*y3*y8*z11*z12-x1*x8*y2*y3*y9*z11*z12+x1*x2*y3*y8*y9*z11*z12;
> Q[6]=-x11*y8*z2+x8*y11*z2+x11*y2*z8-x2*y11*z8-x8*y2*z11+x2*y8*z11;
> Q[7]=-x10*x12*y4*y11*z1+x4*x12*y10*y11*z1+x10*x11*y4*y12*z1-x4*x11*y10*y12*z1+x10*x12*y1*y11*z4-x1*x12*y10*y11*z4-x10*x11*y1*y12*z4+x1*x11*y10*y12*z4-x4*x12*y1*y10*z11+x1*x12*y4*y10*z11+x4*x10*y1*y12*z11-x1*x10*y4*y12*z11+x4*x11*y1*y10*z12-x1*x11*y4*y10*z12-x4*x10*y1*y11*z12+x1*x10*y4*y11*z12;
> Q[8]=-x7*x9*y4*y8*z1+x4*x9*y7*y8*z1+x7*x8*y4*y9*z1-x4*x8*y7*y9*z1+x7*x9*y1*y8*z4-x1*x9*y7*y8*z4-x7*x8*y1*y9*z4+x1*x8*y7*y9*z4-x4*x9*y1*y7*z8+x1*x9*y4*y7*z8+x4*x7*y1*y9*z8-x1*x7*y4*y9*z8+x4*x8*y1*y7*z9-x1*x8*y4*y7*z9-x4*x7*y1*y8*z9+x1*x7*y4*y8*z9;
> Q[9]=x6*x11*x12*y5*y8*y9*z4-x5*x11*x12*y6*y8*y9*z4-x6*x8*x12*y5*y9*y11*z4+x5*x8*x12*y6*y9*y11*z4-x6*x9*x11*y5*y8*y12*z4+x5*x9*x11*y6*y8*y12*z4+x6*x8*x9*y5*y11*y12*z4-x5*x8*x9*y6*y11*y12*z4-x6*x11*x12*y4*y5*y9*z8+x4*x11*x12*y5*y6*y9*z8+x5*x6*x12*y4*y9*y11*z8-x4*x5*x12*y6*y9*y11*z8+x6*x9*x11*y4*y5*y12*z8-x4*x9*x11*y5*y6*y12*z8-x5*x6*x9*y4*y11*y12*z8+x4*x5*x9*y6*y11*y12*z8+x5*x11*x12*y4*y6*y8*z9-x4*x11*x12*y5*y6*y8*z9-x5*x8*x12*y4*y6*y11*z9+x4*x8*x12*y5*y6*y11*z9-x5*x6*x11*y4*y8*y12*z9+x4*x6*x11*y5*y8*y12*z9+x5*x6*x8*y4*y11*y12*z9-x4*x6*x8*y5*y11*y12*z9+x6*x8*x12*y4*y5*y9*z11-x4*x8*x12*y5*y6*y9*z11-x5*x6*x12*y4*y8*y9*z11+x4*x5*x12*y6*y8*y9*z11-x6*x8*x9*y4*y5*y12*z11+x4*x8*x9*y5*y6*y12*z11+x5*x6*x9*y4*y8*y12*z11-x4*x5*x9*y6*y8*y12*z11-x5*x9*x11*y4*y6*y8*z12+x4*x9*x11*y5*y6*y8*z12+x5*x6*x11*y4*y8*y9*z12-x4*x6*x11*y5*y8*y9*z12+x5*x8*x9*y4*y6*y11*z12-x4*x8*x9*y5*y6*y11*z12-x5*x6*x8*y4*y9*y11*z12+x4*x6*x8*y5*y9*y11*z12;
> Q[10]=x3*x11*x12*y2*y8*y9*z1-x2*x11*x12*y3*y8*y9*z1-x3*x8*x12*y2*y9*y11*z1+x2*x8*x12*y3*y9*y11*z1-x3*x9*x11*y2*y8*y12*z1+x2*x9*x11*y3*y8*y12*z1+x3*x8*x9*y2*y11*y12*z1-x2*x8*x9*y3*y11*y12*z1-x3*x11*x12*y1*y2*y9*z8+x1*x11*x12*y2*y3*y9*z8+x2*x3*x12*y1*y9*y11*z8-x1*x2*x12*y3*y9*y11*z8+x3*x9*x11*y1*y2*y12*z8-x1*x9*x11*y2*y3*y12*z8-x2*x3*x9*y1*y11*y12*z8+x1*x2*x9*y3*y11*y12*z8+x2*x11*x12*y1*y3*y8*z9-x1*x11*x12*y2*y3*y8*z9-x2*x8*x12*y1*y3*y11*z9+x1*x8*x12*y2*y3*y11*z9-x2*x3*x11*y1*y8*y12*z9+x1*x3*x11*y2*y8*y12*z9+x2*x3*x8*y1*y11*y12*z9-x1*x3*x8*y2*y11*y12*z9+x3*x8*x12*y1*y2*y9*z11-x1*x8*x12*y2*y3*y9*z11-x2*x3*x12*y1*y8*y9*z11+x1*x2*x12*y3*y8*y9*z11-x3*x8*x9*y1*y2*y12*z11+x1*x8*x9*y2*y3*y12*z11+x2*x3*x9*y1*y8*y12*z11-x1*x2*x9*y3*y8*y12*z11-x2*x9*x11*y1*y3*y8*z12+x1*x9*x11*y2*y3*y8*z12+x2*x3*x11*y1*y8*y9*z12-x1*x3*x11*y2*y8*y9*z12+x2*x8*x9*y1*y3*y11*z12-x1*x8*x9*y2*y3*y11*z12-x2*x3*x8*y1*y9*y11*z12+x1*x3*x8*y2*y9*y11*z12;
> ideal Q_std = slimgb(Q);
Singular : signal 11 (v: 4110):
current line:>>ideal Q_std = slimgb(Q);<<
Segment fault/Bus error occurred at 23c because of 10202 (r:1525080371)
please inform the authors
trying to restart...
> 

Change History (1)

comment:1 Changed 6 years ago by hannes

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.