Re: serious class group regression

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

* Igor Schein [2004-01-30 00:18]:
> ? bnfinit(x^4-768*x^3+220032*x^2-27869184*x+1316749312);
>   ***   sorry, buchxxx couldn't deal with this field PLEASE REPORT!.
> 
> This was introduced some time before 2.2.7 release.

A typo. Net result: first ideal in FB (= factorbase) was always skipped when
looking for random relations.

I ended up modifying more than this before noticing the problem, but for the
better I think: when building the subFB, one often stumbles upon free 
relations. They were simply discarded up to now [ in fact, not even noticed ].
I made sure these are recorded.

    Karim.
-- 
Karim Belabas                     Tel: (+33) (0)1 69 15 57 48
Dep. de Mathematiques, Bat. 425   Fax: (+33) (0)1 69 15 60 19
Universite Paris-Sud              http://www.math.u-psud.fr/~belabas/ 
F-91405 Orsay (France)            http://pari.math.u-bordeaux.fr/  [PARI/GP]