"Source: Text/Basics/FldFin.text";
"Line: 1158";
"Date: Fri Jun 23 23:00:02 2017";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Basics/FldFin.text, line: 1158
// Example: H22E3 ()
print "Example: H22E3";
ei := GetEchoInput();
SetEchoInput(true);
K := GF(2);
P<x> := PolynomialRing(GF(2));
f := x^20 + x^11 + 1;
Factorization(f);
time r, S<w> := RootsInSplittingField(f);
S;
DefiningPolynomial(S);
#r;
assert $1 eq 20;
r[1];
[IsZero(Evaluate(f, t[1])): t in r];
SetEchoInput(ei);
