id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc 698,overflow hell strikes back,kroeker@…,somebody,"A working example for a starters {{{ LIB(""primdec.lib""); ring R = 0,(x,y),dp; short = 0; ring G = 0,(a,b),dp; short = 0; ideal phi = a^3,b; map m = R,phi; ideal I = a^645*b; setring R; ideal pI = preimage(G,m,I); setring G; ideal mpI = m(pI); mpI; // = a^645*b; ok ASSUME(0, idealsEqual(mpI , I) ); //ok }}} and now a failing one: {{{ LIB(""primdec.lib""); ring R = 0,(x,y),dp; short = 0; ring G = 0,(a,b),dp; short = 0; ideal phi = a^3,b; map m = R,phi; ideal I = a^2147483645*b; setring R; ideal pI = preimage(G,m,I); setring G; ideal mpI = m(pI); mpI; // mpI[1]=a^65535*b ASSUME(0, idealsEqual(mpI , I) ); // fails }}} This is not just a single issue, this is overflow hell, you know? (unfortunately) And it is very unlikely that I will catch them all. ",bug,closed,minor,4-1-0 and higher,dontKnow,4-0-1,not a bug,exponent overflow hell,