redSB

[leonada@…]

LIB "normal.lib"; intmat A[5][5]=19,15,12,9,9,12,9,9,9,0,1,1,1,0,0,1,1,0,0,0,1,0,0,0,0; ring r=2,(z19,y15,y12,x9,u9),M(A); ideal i=y15^2+y12*x9*u9,

y15*y12+x9^2*u9+x9*u92+y15, y12^{2+y15*x9+y15*u9+y12, z19}3+z19*(y15+y12)*(x9+1)*u9+(y15*(x9+u9)+y12*(x9*u9+1))*x9^2*u9;

list nor=normal(i);nor; def R=nor[1][1]; setring R; normap; option(redSB); ideal s=std(norid);s;

This doesn't seem to give a reduced standard basis. For instance, s[32]=T(4)+... should mean that T(4) shouldn't appear elsewhere. Am I missing something?