PrimitiveUnityRoot( F, n )
PrimitiveUnityRoot
returns a primitive n'th root of unity in an
extension field of F. This is a finite field element a with the
property <a>^<n>=1 mod n, and n is the smallest integer such that
this equality holds.
gap> PrimitiveUnityRoot( GF(2), 15 ); Z(2^4) gap> last^15; Z(2)^0 gap> PrimitiveUnityRoot( GF(8), 21 ); Z(2^6)^3
GAP 3.4.4