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)
Note: See
TracTickets for help on using
tickets.
fixed with rev. 14357