FiniteFieldPolynomialPackage2(F, GF)ΒΆ

ffpoly.spad line 975

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.