new short example for bug in factorize

[gorzel]

Ysterday evening, I have constructed the following short example for

problem with factorize:

This problem exists since Singular-3-0-4, checked again with Singular-3-1-0, but works fine with Singular-3-0-3.

 ring ri =(0,i),(a,b,c),dp; 
 minpoly = i2+1;

 // This is OK
 poly f = (a+b)^2+c^2;
 factorize(f);
 facstd(f);

 // This doesn't work
 poly g = (a+c)^2+b^2;
 factorize(g);
 
 facstd(g);

OUTPUT:

>  ring ri =(0,i),(a,b,c),dp; 
>  minpoly = i2+1;
> 
.  // This is OK
.  poly f = (a+b)^2+c^2;
>  factorize(f);
[1]:
   _[1]=1
   _[2]=a+b+(i)*c
   _[3]=a+b+(-i)*c
[2]:
   1,1,1
>  facstd(f);
[1]:
   _[1]=a+b+(-i)*c
[2]:
   _[1]=a+b+(i)*c
> 
.  // This doesn't work
.  poly g = (a+c)^2+b^2;
>  factorize(g);
// ** problem with factorize
[1]:
   _[1]=1
[2]:
   1
>  
.  facstd(g);
Singular : signal 11 (v: 3100/2009022519):
Segment fault/Bus error occurred at 80fc840 because of 0 (r:1235646882)
please inform the authors
trying to restart...
> 

Where this crash did not occur in Singular-3-0-4. There I got:

>  
.  facstd(g);
// ** problem with factorize
[1]:
   _[1]=1
> 
. 
. ;

' Hope this helps.

[hannes]

crash fixed, still problems with factorize: see ticket #1