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