Igor Schein on Wed, 4 Sep 2002 19:35:29 -0400


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

Re: yet another rnfkummer() posting


On Thu, Sep 05, 2002 at 01:17:45AM +0200, Karim BELABAS wrote:
> On Thu, 29 Aug 2002, Igor Schein wrote:
> > ? setrand(1);rnfkummer(bnrinit(bnfinit(quadpoly(-6580,y)),9,1),matdiagonal([3,1,1,1]));
> >   ***   not an Abelian extension in rnfnormgroup.
> >
> > It worked fine in 2.2.2.
> 
> I have been very busy fixing various things I had upset while cleaning up
> bnfinit & quadclassunit [clearing long standing internal TODO items (comments
> in the code) in hnfspec & real_random_form, replacing unnecessarily obscure
> code, removing spurious global variables; also the current version of
> quadclassunit is nearly twice faster for smallish discriminants, say ~ 10^6].
> 
> My (relatively) simple regression tests come clear now [and so do a few of
> the things you've reported, in particular the above bug]. Can you make a list
> of all surviving regressions from your archives ?

? setrand(2);rnfkummer(bnrinit(bnfinit(quadpoly(-6580,y)),9,1),matdiagonal([3,1,1,1]));
  ***   not an Abelian extension in rnfnormgroup.

Igor