"Source: Text/Basics/RngPol.text";
"Line: 2029";
"Date: Tue Aug  3 18:56:32 2021";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Basics/RngPol.text, line: 2029
// 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);
