"Source: Text/Basics/FldFin.text";
"Line: 1168";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Basics/FldFin.text, line: 1168
// 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);
