Since every algebraic extension is a field, it is represented as a
record. This record contains all components, a field record will contain
(see Field Records). Additionally, it contains the components
isAlgebraicExtension
, minpol
, primitiveElm
and may contain the
components isNormalExtension
, minpolFactors
and galoisType
.
isAlgebraicExtension
:true
. This indicates that F is an algebraic extension.
minpol
:
primitiveElm
:RootOf(F.minpol)
.
isNormalExtension
:
minpolFactors
:F.minpol
over F.
galoisType
:GAP 3.4.4