Opened 8 years ago

Last modified 8 years ago

#717 assigned bug

resolution inconsistencies

Reported by: ren Owned by: Oleksandr
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-2
Keywords: Cc:

Description

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

Change History (1)

comment:1 Changed 8 years ago by Oleksandr

Owner: changed from somebody to Oleksandr
Status: newassigned
Note: See TracTickets for help on using tickets.