IsAlgebraicExtension( D )
IsAlgebraicExtension
returns true
if the object D is an algebraic
field extension and false
otherwise.
More precisely, IsAlgebraicExtension
tests whether D is an algebraic
field extension record (see Algebraic Extension Records). So, for
example, a matrix ring may in fact be a field extension, yet
IsAlgebraicExtension
would return false
.
gap> IsAlgebraicExtension(e); true gap> IsAlgebraicExtension(Rationals); false
GAP 3.4.4