Igor Schein on Wed, 14 Aug 2002 12:05:20 -0400


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: rnfkummer-induced bug


On Tue, Aug 13, 2002 at 09:08:23PM -0400, Igor Schein wrote:
> On Tue, Aug 13, 2002 at 03:48:32PM +0200, Karim BELABAS wrote:
> > On Sat, 10 Aug 2002, Igor Schein wrote:
> > > ? setrand(1);rnfkummer(bnrinit(bnfinit(quadpoly(-1752,y)),19,1),matdiagonal([5,1,1]));
> > >   ***   bug in GP (Segmentation Fault), please report
> > 
> > Unrelated to rnfkummer, quite specific to bnfinit() [ memory reallocation
> > problem. I had added relatively recently an extra array first_non_zero[] in
> > buchall() to remove an horrible kludge, and forgot to resize it together with
> > its companion arrays ]. It's gone now.
> 
> There're still some bugs lying around:
> 
> ? setrand(1);rnfkummer(bnrinit(bnfinit(quadpoly(4760,y)),23,1),matdiagonal([3,1,1]))
> 0
> 
> 
> Thanks
> 
> Igor

Here's another bug, which is also present in 2.2.3 release:

? setrand(1);rnfkummer(bnrinit(bnfinit(y^4-52*y^2+26),3,1),Mat(5));
  ***   impossible inverse modulo: Mod(231823679907682208641, 110164365510974367531382734601).

Thanks

Igor