FiniteFieldPolynomialPackage2(F, GF)

ffdoms.spad line 1202 [edit on github]

• F: FieldOfPrimeCharacteristic with

  basis: PositiveInteger -> Vector %

  coerce: GF -> %

  Frobenius: % -> %

  lookup: % -> PositiveInteger

• 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.