"Source: Text/Basics/RngPol.text";
"Line: 2050";
"Date: Fri Sep 26 14:29:19 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Basics/RngPol.text, line: 2050
// Example: H24E8 ()
print "Example: H24E8";
ei := GetEchoInput();
SetEchoInput(true);
R<x> := PolynomialRing(Integers());
b := x^5 - x^3 + 2*x^2 - 2;
F<f> := PolynomialRing(GF(5));
s := [ w[1] : w in Factorization( F ! b ) ];
s;
T<t> := PolynomialRing(Integers(5^3));
h := HenselLift(b, s, T);
h;
&*h;
SetEchoInput(ei);
