Opened 9 years ago

Closed 9 years ago

#559 closed bug (fixed)

bug in reduce in qring over integers

Reported by: kroeker@… Owned by: somebody
Priority: major Milestone: 4-1-0 and higher
Component: singular-kernel Version: 4-0-0
Keywords: bug reduce qring integers Cc:

Description

Hello,

reduce has a bug in qring over integers. Here is the failing example: 

ring rng = integer,(x,y,z),dp;

ideal iq = 2*y+1, 4*x*z+3*y, y^2-2*x*z-y;
iq = std(iq);

qring rngQ = iq;

ideal J = 3, y-4, x*z;

ideal stdJ =  groebner(J);
stdJ; // = 3
def reduceRes = reduce( J, stdJ); 
//_[1]=0
//_[2]=y-4
//_[3]=xz
std(reduceRes); // =3, wrong!

Change History (1)

comment:1 Changed 9 years ago by hannes

Resolution: → fixed
Status: new → closed
Note: See TracTickets for help on using tickets.