jakobkroeker / infinitetests.m2 Goto Github PK

R = ZZ[x_1, x_2, MonomialOrder=>GRevLex]
I = ideal(8*x_1^3+6,-22*x_1^3+8*x_1*x_2^2-17*x_2)
  gI = ideal gens gb I;
  assert( ( (gens I)%gI) == 0 );
 ggI = ideal gens gb gI;
 assert(numColumns (gens gI) == numColumns(gens ggI)); -- fails

R = ZZ[x_1,x_2, MonomialOrder=>Lex]
I = ideal(22*x_2^3,-22*x_1^2*x_2-17*x_1-9*x_2,-26*x_1*x_2^2-x_1)
  gI = ideal gens gb I;
  assert( ( (gens I)%gI) == 0 );

R = ZZ[x_1,x_2, MonomialOrder=>Lex]
I = ideal(2*x_1^2*x_2^2,20*x_1*x_2^3-10*x_1*x_2^2-1,x_1^2-22*x_1*x_2)
  gI = ideal gens gb I;
  assert( ( (gens I)%gI) == 0 );