Opened 12 years ago

Closed 12 years ago

#340 closed bug (fixed)

normal in GF(16)

Reported by: leonada@… Owned by: somebody
Priority: minor Milestone: 3-1-4 and higher
Component: singular-libs Version: 3-1-2
Keywords: normal Cc:

Description

LIB "normal.lib"; ring r=(24,c),(y,z),lp; ideal j=y7+y6z+c2*y6+c2*y5z+c7*y5+y4z2+c2*y4z+c7*y4+y3z4+y3z3+c*y3z2+c2*y3z+c2*y2z4+y2z3+c*y2z2+yz4+yz3+z6+z4; list nor=normal(j);nor;

? not implemented ? error occurred in or before primdec.lib::sep line 3712: poly h=gcd(f,diff(f,var(i))); ? expected poly-expression. type 'help poly;' ? leaving primdec.lib::sep skipping text from ; error at token ) ? leaving primdec.lib::zeroRad ? leaving primdec.lib::radical ? leaving normal.lib::normalM ? leaving normal.lib::normal

Change History (1)

comment:1 Changed 12 years ago by hannes

Component: dontKnow → singular-libs
Resolution: → fixed
Status: new → closed

gcd, factorize etc will not be implemented in the near future for such coefficient fields, please use (mathematically equivalent) definition: 

ring r=(2,c),(y,z),dp;
minpoly=c^4+c+1;
ideal j=y7+y6z+c2*y6+c2*y5z+c7*y5+y4z2+c2*y4z+c7*y4+y3z4+y3z3+c*y3z2+c2*y3z+c2*y2z4+y2z3+c*y2z2+yz4+yz3+z6+z4;
LIB "normal.lib";
list nor=normal(j);nor;

The necessary fixes to normal.lib are fixed with revision 14248.

Note: See TracTickets for help on using tickets.