> < ^ Date: Fri, 25 May 2001 09:46:59 -0400 (EDT)
> < ^ From: Alexander Hulpke <hulpke@math.colostate.edu >
< ^ Subject: Re: bug in IsAbelianNumberField?

Dear GAP-Forum,

David Joyner asked:

Is the following behavior a bug?

gap> C11:=FieldExtension(Rationals,p0);
<field in characteristic 0>
gap> IsAbelianNumberField(C11);
value property is already set the other way at

As far as I can see this is the bug which has been corrected in bugfix #6 for
GAP 4.2.

Alas, since there are not many methods available for field extensions (so
far there has been little demand for it) so that the calculation now will
run into a ``No method found'' error.

(What is needed to test abelianity would be a factorization of the
polynomial over the extension generated by itself, so far GAP4 does not
contain code for polynomial factorization over algebraic extensions.)

Sorry of not being able to provide more help,

Alexander Hulpke

Miles-Receive-Header: reply


> < [top]