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)
groebnerBasis inI
ring rng = (integer),(x,y,z),(ws(-1,-1,-1),C);
ideal I = 6yz-6,6xy-6yz-8y;
ideal gI =std(I);
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) groebnerBasis inI
ring rng = (integer),(x,y,z),(ws(-1,-1,-1),C); ideal I = 6yz-6,6xy-6yz-8y; ideal gI =std(I);