Igor Schein on Fri, 9 Aug 2002 09:42:59 -0400


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

Re: rnfkummer-induced bug


On Fri, Aug 09, 2002 at 01:54:14PM +0200, Karim BELABAS wrote:
> On Wed, 7 Aug 2002, Igor Schein wrote:
> > bnf=bnfinit(quadpoly(181433,y));
> > bnr=bnrinit(bnf,1,1);
> > rnfkummer(bnr,0);
> >
> > After some time it gives me:
> >
> > #### Computing class group generators
> > Time classgroup generators: 140
> > split_ideal: increasing factor base [4]
> [... ad lib]
> >   ***   user interrupt after 15mn, 20,500 ms.
> >
> > Any idea what's going on there?

> This had been left so because it involved modifying other routines (like
> bnfisunit or bnfisprincipal). Since everything looked good so far, I've made
> the necessary changes and your example is dealt with in about 1 minute.

This resulted in more regression:

? setrand(1);rnfkummer(bnrinit(bnfinit(quadpoly(1020,y)),31,1),matdiagonal([5,1,1]));
  ***   division by zero in powgi.

Thanks

Igor