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
|