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 +X3*X5^2,
-X0^6*X1*X3 +X3*X6^7,
X0 -X1 -X2 -X3 -X5 -X6,
-X2 +X5 +X6,
-X0 -X5 -X6,
X1 -X2 +X3 -X6,
X1 -X2 +X3 -X5);
radical(I);
</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 +X3*X5^2,
-X0^6*X1*X3 +X3*X6^7,
X0 -X1 -X2 -X3 -X5 -X6,
-X2 +X5 +X6,
-X0 -X5 -X6,
X1 -X2 +X3 -X6,
X1 -X2 +X3 -X5);
radical(I);
</pre>