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
- 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.
fsplits into linear factors over F.