Opened 12 years ago

Closed 12 years ago

#351 closed bug (fixed)

non-implemented factorize over p^n , a leads to crash with facstd

Reported by: gorzel Owned by: somebody
Priority: minor Milestone: 3-1-4 and higher
Component: singular-kernel Version: 3-1-3
Keywords: Cc:

Description

> LIB "general.lib";
> ring ra5 = (25,a),(x,y,z),dp;
> ideal I = cyclic(3);
> I;
_[1]=x+y+z
_[2]=xy+xz+yz
_[3]=xyz-1
> facstd(I);
   ? not implemented
Singular : signal 11 (v: 3132/ 14356 ):
current line:>>facstd(I);<<
Segment fault/Bus error occurred at 2b2a8337c030 because of 10202 (r:1312207314)
please inform the authors
trying to restart...
   ? error occurred in or before STDIN line 7: `facstd(I);`

In the other form, with the other fact* component it works:

// copy the minpoly and redefine
> basering;
//   # ground field : 25
//   primitive element : a
//   minpoly        : 1*a^2+4*a^1+2*a^0
//   number of vars : 3
//        block   1 : ordering dp
//                  : names    x y z
//        block   2 : ordering C
> ring ra25 = (5,a),(x,y,z),lp;
> minpoly = 1*a^2+4*a^1+2*a^0;
> cyclic(3);
_[1]=x+y+z
_[2]=xy+xz+yz
_[3]=xyz-1
> ideal I = _;
> facstd(I);
[1]:
   _[1]=z+(-2a-1)
   _[2]=y+(2a+2)
   _[3]=x-1
[2]:
   _[1]=z-1
   _[2]=y+(-2a-1)
   _[3]=x+(2a+2)
[3]:
   _[1]=z+(2a+2)
   _[2]=y-1
   _[3]=x+(-2a-1)
[4]:
   _[1]=z-1
   _[2]=y+(2a+2)
   _[3]=x+(-2a-1)
[5]:
   _[1]=z+(2a+2)
   _[2]=y+(-2a-1)
   _[3]=x-1
[6]:
   _[1]=z+(-2a-1)
   _[2]=y-1
   _[3]=x+(2a+2)

Change History (1)

comment:1 Changed 12 years ago by hannes

Resolution: fixed
Status: newclosed

fixed with rev. 14357

Note: See TracTickets for help on using tickets.