"Source: Text/Ring/RngLoc.text";
"Line: 712";
"Date: Fri Sep 26 14:29:19 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngLoc.text, line: 712
// Example: H49E5 ()
print "Example: H49E5";
ei := GetEchoInput();
SetEchoInput(true);
Zp := pAdicRing(5, 10);
Zp`SeriesPrinting := true;
Zp!9348752038967;
U := UnramifiedExtension(Zp, 4);
U`SeriesPrinting := true;
U![3294875629, 324, 1254234, 13454];
R := TotallyRamifiedExtension(U, Polynomial([10, 25, 125, 1])); 
R![[345, 21, 351345], [234, 2354,214], [2134, 2153254]];       
R`SeriesPrinting := true;
R![[345, 21, 351345], [234, 2354,214], [2134, 2153254]];
SetEchoInput(ei);
