FiniteFieldPolynomialPackage2(F, GF)ΒΆ

ffdoms.spad line 1202 [edit on github]

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.