Bug #1083
Updated by Anna Maria Bigatti about 7 years ago
The followinginput produces an (unexpected) "bad characteristic" error:
<pre>
use QQ[x[1..3]];
J2 := ideal(x[1]^2 +x[2]^2 -1, x[1]*x[2]*x[3]^2 +(-1/2)*x[3]^2 -1, 2*x[1] +2*x[2] +4*x[3]);
ReducedGBasis(J2);
---> [x[1] +x[2] +2*x[3], x[2]^2 +2*x[2]*x[3] +2*x[3]^2 -1/2, x[3]^4 +(-1/2)*x[3]^2 -1/2]
G2 := gens(J2);
MinPolyQuot(LT(G2[1]),J2,LT(G2[1]));
</pre>
*Update:* @LT(G2[1])@ is not an indeterminate
<pre>
use QQ[x[1..3]];
J2 := ideal(x[1]^2 +x[2]^2 -1, x[1]*x[2]*x[3]^2 +(-1/2)*x[3]^2 -1, 2*x[1] +2*x[2] +4*x[3]);
ReducedGBasis(J2);
---> [x[1] +x[2] +2*x[3], x[2]^2 +2*x[2]*x[3] +2*x[3]^2 -1/2, x[3]^4 +(-1/2)*x[3]^2 -1/2]
G2 := gens(J2);
MinPolyQuot(LT(G2[1]),J2,LT(G2[1]));
</pre>
*Update:* @LT(G2[1])@ is not an indeterminate