Opened 12 years ago

Closed 12 years ago

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

Reported by: Owned by: gorzel somebody minor 3-1-4 and higher singular-kernel 3-1-3

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

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

Resolution: → fixed new → closed

fixed with rev. 14357

Note: See TracTickets for help on using tickets.