Opened 8 years ago
Closed 8 years ago
#703 closed bug (fixed)
bug in std() for 'ws' ordering
Reported by: | 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
Note: See
TracTickets for help on using
tickets.
fixed with efb09679f464982644f48e648b0d4a8c20f4f5ca