"Source: Text/Ring/RngSer.text";
"Line: 1675";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngSer.text, line: 1675
// Example: H51E4 ()
print "Example: H51E4";
ei := GetEchoInput();
SetEchoInput(true);
P<t> := PowerSeriesRing(GF(101));
R<x> := PolynomialRing(P);
Factorization(x^5 + t*x^4 - t^2*x^3 + (1 + t^20)*x^2 + t*x + t^6);
P<t> := PowerSeriesRing(GF(101), 50);
R<x> := PolynomialRing(P);
Factorization(x^5 + t*x^4 - t^2*x^3 + (1 + t^20)*x^2 + t*x + t^6 :
Extensions);
SetEchoInput(ei);
