Opened 6 years ago

Closed 6 years ago

#785 closed bug (fixed)

std with different representation of same ordering, one does not terminate

Reported by: ren Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-3
Keywords: Cc:

Description

The following orderings are the same, yet the last std computation does not finish while the first two do:

ring sds = integer,(t,x1,x2,x3,x4),ds;
ideal I = 3-t,2*x1^2+3*x1*x2+24*x3*x4,8*x1^3+x2*x3*x4+18*x3^2*x4;
std(I);

ring sws = integer,(t,x1,x2,x3,x4),ws(1,1,1,1,1);
ideal I = 3-t,2*x1^2+3*x1*x2+24*x3*x4,8*x1^3+x2*x3*x4+18*x3^2*x4;
std(I);

ring salp = integer,(t,x1,x2,x3,x4),(a(-1,-1,-1,-1,-1),lp);
ideal I = 3-t,2*x1^2+3*x1*x2+24*x3*x4,8*x1^3+x2*x3*x4+18*x3^2*x4;
option(prot);
std(I);

Change History (1)

comment:1 Changed 6 years ago by hannes

Resolution: fixed
Status: newclosed

fixed with ea294691dbb816d912fd6da818edd03f0699d478 (fixing p_WTotaldegree, seting of r->pFDeg

Note: See TracTickets for help on using tickets.