three trivial bugs in Primdec::radical()

[kroeker@…]

first bug:

LIB "primdec.lib";
ring rng = (11,vv),(x,y),lp;
short = 0 ;
minpoly = (vv^2+1);
ideal I = (vv),y;
radical(I,"SL"); // error: wrong range[2] in ideal/module
// caused by naive 'K = K[2..size(K)];' in algeRad()

second bug:

LIB "primdec.lib";
ring rng = (0,vv),x,ls;
minpoly = (vv^2+1);
ideal I = x;
radical(I); 
// failing ASSUME in algerad() caused by incorrect call order in 'radical()'

third bug:

LIB "primdec.lib";
ring rng = (0),(x,y),dp;
short = 0 ;
ideal I = 5/3*x*y;
radical(I, "KL"); // error: quotring undefined

for bugfixes see pull request ​https://github.com/Singular/Sources/pull/702

[hannes]

fixed (partially: one must not report morethan 1 bug/wish/propsal per ticket)

[hannes]

seee also 5c4d1ace7d25ffdd955975f75255e3b15a3fc2f7 and preceding stuff (for parts 2,3)