Opened 12 years ago

Closed 12 years ago

# normal in GF(16)

Reported by: Owned by: leonada@… somebody minor 3-1-4 and higher singular-libs 3-1-2 normal

### 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

### comment:1 Changed 12 years ago by hannes

Component: dontKnow → singular-libs → fixed 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.