bug in minAssGTZ for "noFacstd" option?

[kroeker@…]

example:

LIB "primdec.lib";
ring rng = 0,(x,y,z),dp;
ideal I = 21*x^2*z+21*z^2,7*y^2-6*y,-5*x*y^2-29*y*z+30*z^2;
def ma1 = minAssGTZ (I);
def ma2 =  minAssGTZ(I,"noFacstd");  //wrong?
ma1;
ma2;
idealsEqual( intersect(ma1[1],ma1[2],ma1[3]), std(radical(I)) );
idealsEqual( intersect(ma2[1],ma2[2] ), std(radical(I)) );

output:

> ring rng = 0,(x,y,z),dp;
> ideal I = 21*x^2*z+21*z^2,7*y^2-6*y,-5*x*y^2-29*y*z+30*z^2;
> def ma1 = minAssGTZ (I);
> def ma2 =  minAssGTZ(I,"noFacstd");  //falsch
> ma1;
[1]
   _[1]=z
   _[2]=7y-6
   _[3]=-245z2+30x+203z
[2]
   _[1]=60025z3-99470z2+41209z+900
   _[2]=7y-6
   _[3]=-245z2+30x+203z
[3]
   _[1]=z
   _[2]=y
> ma2;
[1]
   _[1]=z
   _[2]=y
[2]
   _[1]=60025z3-99470z2+41209z+900
   _[2]=7y-6
   _[3]=-245z2+30x+203z
> idealsEqual( intersect(ma1[1],ma1[2],ma1[3]), std(radical(I)) );
1
> idealsEqual( intersect(ma2[1],ma2[2] ), std(radical(I)) );
0

[Oleksandr]

to be solved in Argentina

[hannes]

fixed with 7c9d6fd7fe5d784bcfd5b0456af1fa2264e0a488