search

adipopescu / To-Do-List

My Singular Project
0 stars 0 forks source link

simplified bug in std() over integers with ws ordering #21

Closed jakobkroeker closed 9 years ago

jakobkroeker commented 10 years ago 
ring r = integer,(a,d,g,h,i,j),ws(-1,-1,-1,-1,-1,-1);
ideal inI= gh+2i, dh+j, d+2g+aj, d+2g+ai;
ideal g= std(inI); 

# M2 - (not sure if correct)

 rng = ZZ[a,d,g,h,i,j, MonomialOrder=>RevLex, Weights=>{-1,-1,-1,-1,-1,-1},Global=>false]
 inI = ideal(g*h+2*i,d*h+j,d+2*g+a*j,d+2*g+a*i)
toString entries groebnerBasis inI
jakobkroeker commented 10 years ago

another simple failing examples:

ring rng = (integer),(x,y,z),(ws(-1,-1,-1),C);
ideal I  = 6yz-6,6xy-6yz-8y;
ideal gI  =std(I);
///////////
ring rng = (integer),(x,y,z),(ws(-1,-1,-1),C);
ideal I  = -10x+15y,4y-7;
ideal gI  =std(I);
///
ring rng = (integer),(x,y,z),(ws(-1,-1,-1),C);
ideal I  = 9x-14y,15z-2;
ideal gI  =std(I);
///
ring rng = (integer),(x,y),(ws(-1,-1),C);
// trial: 15
ideal I  = 8x+7,-6x-13y;
ideal gI  =std(I);
adipopescu commented 9 years ago

it seems to be solved and added tests