Re: yet another rnfkummer() posting

[Igor Schein <igor@txc.com>]

On Sat, Sep 07, 2002 at 03:39:31PM +0200, Karim BELABAS wrote:
> On Thu, 5 Sep 2002, Igor Schein wrote:
> > On Thu, Sep 05, 2002 at 04:41:41PM +0200, Karim BELABAS wrote:
> > > On Thu, 5 Sep 2002, Igor Schein wrote:
> > > > This one is gone now, but here's a different one:
> > > >
> > > > ? bnfisnorm(bnfinit(polsubcyclo(7,3)),[[;]]);
> > > >   ***   bug in GP (Segmentation Fault), please report
> > > >
> > > > Stable version doesn't segfault.
> > >
> > > Yet another typo. Are we done with regressions now ? I'd like to release a
> > > snapshot ASAP.
> >
> > Here's another regression:
> >
> > ? setrand(1603990204);rnfkummer(bnrinit(bnfinit(quadpoly(3413,y),1),25,1),[5,1;0,1]);
> >   ***   bug in gadd, please report
> 
> [and a bit later:]
> > ? setrand(279165716);rnfkummer(bnrinit(bnfinit(quadpoly(-231,y)),25,1),matdiagonal([5,1,1]))
> >   ***   bug4 in kummer.
> 
> [and also:]
> > ? setrand(1);rnfkummer(bnrinit(bnfinit(y^6-19*y^5-11*y^4-6*y^3-15*y^2-11*y+15,1),4 ,1),[2,1,1;0,1,0;0,0,1]);
> 
> These three are gone. Unfortunately, the fix was very complicated (affects
> about 10 different files, buch[23].c being central...). Funny how many
> undocumented assumptions you uncover when changing innocent looking-code [ it
> was essential that the factorbase stored in bnf be sorted according to the
> underlying rational primes ].
> 
> I'm afraid you will have to re-run your regression suite now.

1 more type of bug is still present:

? setrand(6);rnfkummer(bnrinit(bnfinit(quadpoly(3409,y),1),25,1),[5,1;0,1]);
  ***   bug in isvirtualunit, please report

Thanks

Igor