resolution inconsistencies

[ren]

Here is an example, in which minres minimizes the resolution correctly if not printed beforehand, but does not minimize the resolution if printed beforehand.

ring r = (0,w),(Y(1..4),z),(c,dp(4),dp(1));
ideal H = Y(4)-3*z^2+24*z-39, 3*Y(3)+(-w)*Y(4), z^2-8*z+13;
qring q = std(H);
ideal inI = Y(1),(w^2)*Y(4);
minres(res(inI,0));
resolution resInI = res(inI,0); // q^1 <- q^2 <- q^1 
minres(resInI); // minimizes correctly to q^1 <- q^1

ring r = (0,w),(Y(1..4),z),(c,dp(4),dp(1));
ideal H = Y(4)-3*z^2+24*z-39, 3*Y(3)+(-w)*Y(4), z^2-8*z+13;
qring q = std(H);
ideal inI = Y(1),(w^2)*Y(4);
minres(res(inI,0));
resolution resInI = res(inI,0); // q^1 <- q^2 <- q^1 
resInI;
minres(resInI); // remains q^1 <- q^2 <- q^1