FiniteFieldPolynomialPackage2(F, GF)

ffdoms.spad line 1202 [edit on github]

• F : FieldOfPrimeCharacteristic with

  coerce : GF -> %

  lookup : % -> PositiveInteger

  basis : PositiveInteger -> Vector(%)

  Frobenius : % -> %

• GF : FiniteFieldCategory

FiniteFieldPolynomialPackage2(F, GF) exports some functions concerning finite fields, which depend on a finite field GF and an algebraic extension F of GF, e.g. a zero of a polynomial over GF in F.

rootOfIrreduciblePoly : SparseUnivariatePolynomial(GF) -> F

rootOfIrreduciblePoly(f) computes one root of the monic, irreducible polynomial f, which degree must divide the extension degree of F over GF, i.e. f splits into linear factors over F.