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