Opened 8 years ago

Closed 8 years ago

#709 closed bug (fixed)

primdecGTZ() example with incorrect radical entry

Reported by: kroeker@… Owned by: pfister
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-2
Keywords: Cc:

Description

LIB("primdec.lib");
ring rng = (2),(x,y,z),dp;
ideal I = x^2*y+x*z^2+1, x^2*z+z^2, z^3+1;
system("random",1426357199);
def L2 = primdecGTZ(I);

//here is the problem
idealsEqual( radical( L2[2][1] ),  L2[2][2]  ); // 0 
L2[2][2] ;
radical( L2[2][1] );

output

> ring rng = (2),(x,y,z),dp;
> ideal I = x^2*y+x*z^2+1, x^2*z+z^2, z^3+1;
> system("random",1426357199);
> def L2 = primdecGTZ(I);

> 
. //here is the problem
. idealsEqual( radical( L2[2][1] ),  L2[2][2]  ); // 0 
0
> L2[2][2] ;
_[1]=z2+z+1
_[2]=y2+z+1
_[3]=yz2+x+z
> radical( L2[2][1] );
_[1]=y+z
_[2]=x+z+1
_[3]=z2+z+1

Change History (2)

comment:1 Changed 8 years ago by Oleksandr

Owner: changed from somebody to pfister

comment:2 Changed 8 years ago by hannes

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