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
primitiveElm and may contain the
true. This indicates that F is an algebraic extension.
Previous Up Top Next