Opened 6 years ago

Closed 6 years ago

#778 closed bug (fixed)

radical is wrong

Reported by: jukka.tuomela@… Owned by: somebody
Priority: major Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-2
Keywords: Cc:


When I run the following code the variety of the radical is empty but the variety of the original is 2 points, both with multiplicity 2. minAssGTZ gives correctly 2 points.

ring rv = (0,p),(c1,s4,s3,s2,s1),dp; minpoly=p2-2;

poly p1=s1; poly p2=c12-2*c1; poly p3=s2*c1+(-4*p-4)*s3+(-2*p-4)*s2; poly p4=s3*c1+(2*p+2)*s3+(p+2)*s2; poly p5=s22; poly p6=s3*s2; poly p7=s32; poly p8=s4+(-p-3)*s3+(-p)*s2;

ideal i0=p1,p2,p3,p4,p5,p6,p7,p8;

ideal i0g=groebner(i0);size(i0g);dim(i0g);


radical(i0g); dim(std(radical(i0g)));

Change History (1)

comment:1 Changed 6 years ago by hannes

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.