RootOf( pol )
returns a root of the irreducible polynomial pol as element of the
corresponding extension field AlgebraicExtension(pol)
. This root is
called the primitive element of this extension.
gap> r:=RootOf(p); RootOf(x^4 + 3*x^2 + 1) gap> r.name:="alpha";;
GAP 3.4.4