undetected overflow in subst()

[kroeker@…]

undetected overflow when substituting a variable in an ideal, while the same overflow is detected for a polynomial.

ring rng = 0,(x,y),dp;
ideal I = x^1000000;

 I = subst (I,x,x^ 1000000);
 I

poly f = x^1000000;
 f = subst (f,x,x^ 1000000);
f;

output

. ring rng = 0,(x,y),dp;
> ideal I = x^1000000;
> 
.  I = subst (I,x,x^ 1000000);
>  I;
I[1]=x3567587328y4294967295
> 
. poly f = x^1000000;
> f = subst (f,x,x^ 1000000);
// ** possible OVERFLOW in subst, max exponent is 4294967295, subtituting deg 1000000 by deg 1000000
> f;
x3567587328y4294967295

[hannes]

fixed