Re: rnfkummer-induced bug

[Igor Schein <igor@txc.com>]

On Sun, Aug 11, 2002 at 12:24:22AM +0200, Karim BELABAS wrote:
> On Fri, 9 Aug 2002, Igor Schein wrote:
> > This resulted in more regression:
> >
> > ? setrand(1);rnfkummer(bnrinit(bnfinit(quadpoly(1020,y)),31,1),matdiagonal([5,1,1]));
> >   ***   division by zero in powgi.
> 
> I've smoothed this out [ get_arch_real() didn't obey its specification in a
> trivial special case, which was never used before ]
> 
> I've committed all my remaining rnfkummer patches. In its current state,
> rnfkummer should be able to treat extensions of arbitrary prime degree (in
> particular larger than 5...), again provided that bnfinit( K(zeta_ell) )
> succeeds.
> 
> I don't intend to modify it further. You can crash-test it now :-)

Was it a challenge? :)

? setrand(1);rnfkummer(bnrinit(bnfinit(quadpoly(-1752,y)),19,1),matdiagonal([5,1,1]));
  ***   bug in GP (Segmentation Fault), please report

Thanks

Igor