Opened 4 years ago

Closed 4 years ago

#847 closed bug (fixed)

Gröbner basis of ZZ is not unique

Reported by: mohamed.barakat@… Owned by: somebody
Priority: minor Milestone: 4-2-0 and higher
Component: dontKnow Version: 4-1-1
Keywords: Cc:


I would except a GB with coefficients in ZZ (with tail reduction turned) on to be unique. However:

option(redSB); ring R = (integer),(x,y),dp; matrix m[1][2] = 2*x-1, y2+x-2*y; matrix n[1][2] = 2*x-1, y2+7*x-2*y-3; print(lift(m,n));

1,3, 0,1


1,-3, 0,1

m == std(m);


n == std(n);


Change History (1)

comment:1 Changed 4 years ago by hannes

Resolution: fixed
Status: newclosed

was already fixed (tested with 4-1-2)

Note: See TracTickets for help on using tickets.