Opened 14 years ago

Closed 14 years ago

#210 closed bug (duplicate)


Reported by: leonada@… Owned by: somebody
Priority: major Milestone:
Component: dontKnow Version: 3-1-1
Keywords: redSB Cc:


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=y152+y12*x9*u9,

y15*y12+x92*u9+x9*u92+y15, y122+y15*x9+y15*u9+y12, z193+z19*(y15+y12)*(x9+1)*u9+(y15*(x9+u9)+y12*(x9*u9+1))*x92*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?

Change History (1)

comment:1 Changed 14 years ago by seelisch

Resolution: duplicate
Status: newclosed
Note: See TracTickets for help on using tickets.