next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Macaulay2Doc :: isPrimitive

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


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 a function closure.