Opened 13 years ago

Closed 12 years ago

#209 closed bug (fixed)

redSB

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

Description

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 (2)

comment:1 Changed 13 years ago by seelisch

Owner: changed from somebody to hannes

comment:2 Changed 12 years ago by hannes

Resolution: fixed
Status: newclosed

normal.lib changed options without restoring the previous settings: its now fixed.

Note: See TracTickets for help on using tickets.