Karim BELABAS on Sat, 9 Nov 2002 18:51:17 +0100 (MET)


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

Re: rnfkummer() regression


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/