Opened 9 years ago

Closed 9 years ago

#686 closed bug (fixed)

incorrect radical entry in a primdecGTZ() decomposition

Reported by: kroeker@… Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-1
Keywords: primdecGTZ minpoly radical bug Cc:

Description

// test.primdec.many.orig.random_mp.00/bugs/id_3.8.bug
proc indirectionLevel()
{
system("random",1904600441);
ideal I = (vv-1)*xx^2*yy+(-vv-1)*yy^2,(vv)*xx^3+(vv-1)*xx+(-vv),(-vv-1)*xx^2*yy+(-vv-1)*zz^3+(vv-1);
 return (primdecGTZ (I) );
}

ring rng = (3,vv),(xx,yy,zz,ww),(lp(1),lp(1),lp(2),C);
minpoly = (vv^2-vv-1);
def L = indirectionLevel();
def C2 = L[2];
idealsEqual( C2[2], radical (C2[2]) ); //0, expected 1 

output:

. C2;
[1]:
   _[1]=yy
   _[2]=zz^3+(vv)
   _[3]=xx^3+(-vv-1)*xx-1
[2]:
   _[1]=yy
   _[2]=zz^3+(vv)
   _[3]=xx^3+(-vv-1)*xx-1

>radical(C2[2]);

_[1]=zz+(-vv+1)
_[2]=yy
_[3]=xx^3+(-vv-1)*xx-1

Change History (1)

comment:1 Changed 9 years ago by hannes

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