up previous next

IsPrimitivePoly    --    test if polynomial over finite field is primitive

Syntax

IsPrimitivePoly(F: RINGELEM): BOOL

Description

This function determines whether a univariate polynomial over a finite field is "primitive" (in the field theory sense): each of its roots is a group generator of extension field.

For the notion of "primitive" meaning no common factor dividing the coefficients see content .

Example

/**/ use ZZ/(3)[x]; /**/ IsPrimitivePoly(x^3+2*x+1); true

See Also

• content