Re: rnfkummer() regression

[Karim BELABAS <Karim.Belabas@math.u-psud.fr>]

On Fri, 8 Nov 2002, Igor Schein wrote:
> ? setrand(279165716);rnfkummer(bnrinit(bnfinit(quadpoly(-231,y)),25,1),matdiagonal([5,1,1]));
>   ***   not an Abelian extension in rnfnormgroup.
>
> This is with 2.2.5 main branch. 2.2.5 GMP branch is fine.

I forgot a case in hnfmerge_get_1(), the new algorithm associated to
idealaddtoone, since yesterday. Now I think my proof of the algorithm is
correct...

Fixed.

    Karim.
-- 
Karim Belabas                    Tel: (+33) (0)1 69 15 57 48
Dép. de Mathématiques, Bât. 425  Fax: (+33) (0)1 69 15 60 19
Université Paris-Sud             Email: Karim.Belabas@math.u-psud.fr
F-91405 Orsay (France)           http://www.math.u-psud.fr/~belabas/
--
PARI/GP Home Page: http://www.parigp-home.de/