# 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

## For the programmer

The object isPrimitive is .