minAssGTZ fails with minpoly

[anonymous]

When minAssGTZ is used on the trivial 1-ideal it does not work if the ring has a minpoly defined.

ring r1=(0,a),(x,y,z),dp; ideal i1=1; ideal i2=xy,z3; minAssGTZ(i2);

[1]:

_[1]=z _[2]=y

[2]:

_[1]=z _[2]=x

minAssGTZ(i1);

[1]:

_[1]=1

ring r2=(0,a),(x,y,z),dp; minpoly=a^{2-2; ideal i1=1; ideal i2=xy,z3; minAssGTZ(i2);}

[1]:

_[1]=z _[2]=y

[2]:

_[1]=z _[2]=x

minAssGTZ(i1);

? wrong range[2] in ideal/module(1) ? error occurred in or before primdec.lib::algeDeco line 2659: K=K[2..size(K)]; ? leaving primdec.lib::algeDeco

[1]:

_[1]=0 _[2]=0