isPrimitive -- whether an element is a primitive element of a finite field

Description

isPrimitive(f) -- Given an element f in a quotient of a polynomial ring R over a finite field Kwhich is itself a finite field, with the ring being finite dimensional over the field, determine if f generates the multiplicative group of this field.

i1 : R = ZZ/5[t]/(t^2+t+1);

i2 : isPrimitive t o2 = false

i3 : isPrimitive (t-1) o3 = true