Opened 9 years ago

Closed 9 years ago

#703 closed bug (fixed)

bug in std() for 'ws' ordering

Reported by: kroeker@… Owned by: somebody
Priority: major Milestone: 4-1-0 and higher
Component: singular-kernel Version: 4-0-1
Keywords: std ws bug Cc:

Description

failing example:

ring rng = (0),(x,y),(ws(5,-9),C);
short = 0 ;
ideal J = x*y^4+x*y^3+x^3,
              -y^4+x*y^2;
ideal gJ =  std(J);
ideal ggJ =  std(gJ);
gJ;
reduce (J,gJ );
ggJ;
reduce (J,ggJ );

output

> gJ;
gJ[1]=y^4-x*y^2
gJ[2]=x*y^3+x^2*y^2
gJ[3]=x^2*y^2-x^3*y^2+x^3*y
gJ[4]=x^4

> reduce (J,gJ );
_[1]=x^3*y
_[2]=0

> ggJ;
ggJ[1]=y^4-x*y^2
ggJ[2]=x*y^3+x^2*y^2
ggJ[3]=x^2*y^2
ggJ[4]=x^3*y
ggJ[5]=x^4

> reduce (J,ggJ );
_[1]=x^3
_[2]=0

Change History (1)

comment:1 Changed 9 years ago by hannes

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