Igor Schein on Sat, 3 Aug 2002 21:44:13 -0400


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

Re: rnfkummer-induced bug


On Sat, Aug 03, 2002 at 04:42:52PM +0200, Karim BELABAS wrote:
> On Fri, 2 Aug 2002, Igor Schein wrote:
> > in latest CVS
> >
> > ? setrand(1);bnr=bnrinit(bnfinit(y^4-y^3-2404*y^2+2404*y+1154401),5,1);
> > ? rnfkummer(bnr,matdiagonal([5,1]))
> >   ***   not an Abelian extension in rnfnormgroup.
> 
> which Igor spotted before I could announce my changes ... and which I've
> fixed in the meantime.
> 
> I ran preliminary regression tests without spotting further problems. Any
> feedback will be much appreciated.

Here's more regression:


? setrand(9);rnfkummer(bnrinit(bnfinit(quadpoly(-3,y)),25,1),[5,1;0,1])
0

Thanks

Igor