Opened 8 years ago
Closed 8 years ago
#686 closed bug (fixed)
incorrect radical entry in a primdecGTZ() decomposition
Reported by: | 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
Note: See
TracTickets for help on using
tickets.
fixed with a7c8b1fd065150adf6d6165eac463687c886eaae