Bug #1062
Updated by Anna Maria Bigatti almost 7 years ago
I have an example where @IsRadical@ produces an error (when applying a RingHom)
*0-dimensional bug: related with MinPolyModular, moved to #1064*
And this triggers SEGV (non-0-dim bug)
<pre>
use R ::= QQ[X0,X1,X2,X3,X4,X5,X6];
I := ideal(X3^3 +X0*X3*X4 +X4^3,
X0*X1*X3 -1161*X0*X1*X3 -2780*X0*X2*X3 +2211*X0*X4^2 -2211*X1*X4^2 +1923*X0*X3*X5 +X3*X5^2,
-X0^6*X1*X3 -1600*X0^6*X1*X3 -3654*X0^6*X2*X3 +1289*X0^6*X4^2 -7734*X0^5*X2*X4^2 +19335*X0^4*X2^2*X4^2 -25780*X0^3*X2^3*X4^2 +19335*X0^2*X2^4*X4^2 -7734*X0*X2^5*X4^2 +1289*X2^6*X4^2 -2491*X0^6*X3*X6 +X3*X6^7,
X0 -X1 -X2 -X3 -X5 -X6,
-X2 +X5 +X6,
-X0 -X5 -X6,
X1 -X2 +X3 -X6,
X1 -X2 +X3 -X5); 2953*X0 -2053*X1 +748*X2 -2764*X3 +4076*X4 -2852*X5 -3210*X6, -4139*X0 -3398*X1 -3183*X2 -2475*X3 -595*X4 +544*X5 -3770*X6, 3722*X0 -353*X1 +1144*X2 -2464*X3 +3447*X4 -2680*X5 +3980*X6, 4072*X0 -1053*X1 +3763*X2 +3453*X3 -775*X4 -1300*X5 -1041*X6, 3852*X0 +3828*X1 +3671*X2 -1933*X3 +1713*X4 -3022*X5 -148*X6);
IsRadical(I); --> error
</pre>
*0-dimensional bug: related with MinPolyModular, moved to #1064*
And this triggers SEGV (non-0-dim bug)
<pre>
use R ::= QQ[X0,X1,X2,X3,X4,X5,X6];
I := ideal(X3^3 +X0*X3*X4 +X4^3,
X0*X1*X3 -1161*X0*X1*X3 -2780*X0*X2*X3 +2211*X0*X4^2 -2211*X1*X4^2 +1923*X0*X3*X5 +X3*X5^2,
-X0^6*X1*X3 -1600*X0^6*X1*X3 -3654*X0^6*X2*X3 +1289*X0^6*X4^2 -7734*X0^5*X2*X4^2 +19335*X0^4*X2^2*X4^2 -25780*X0^3*X2^3*X4^2 +19335*X0^2*X2^4*X4^2 -7734*X0*X2^5*X4^2 +1289*X2^6*X4^2 -2491*X0^6*X3*X6 +X3*X6^7,
X0 -X1 -X2 -X3 -X5 -X6,
-X2 +X5 +X6,
-X0 -X5 -X6,
X1 -X2 +X3 -X6,
X1 -X2 +X3 -X5); 2953*X0 -2053*X1 +748*X2 -2764*X3 +4076*X4 -2852*X5 -3210*X6, -4139*X0 -3398*X1 -3183*X2 -2475*X3 -595*X4 +544*X5 -3770*X6, 3722*X0 -353*X1 +1144*X2 -2464*X3 +3447*X4 -2680*X5 +3980*X6, 4072*X0 -1053*X1 +3763*X2 +3453*X3 -775*X4 -1300*X5 -1041*X6, 3852*X0 +3828*X1 +3671*X2 -1933*X3 +1713*X4 -3022*X5 -148*X6);
IsRadical(I); --> error
</pre>