"Source: Text/Ring/RngLoc.text";
"Line: 1456";
"Date: Fri Sep 26 14:29:19 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngLoc.text, line: 1456
// Example: H49E8 ()
print "Example: H49E8";
ei := GetEchoInput();
SetEchoInput(true);
Zp := pAdicRing(5, 20);
I<a> := UnramifiedExtension(Zp, 3);
R<x> := PolynomialRing(I);
L<b> := ext<I | x^3 + 5*a*x^2 + 5>;
ChangePrecision(Zp, Infinity());
L;
ChangePrecision(~L, 50);
L;
#L;
AssignNames(~L, ["t"]);
L.1;
b;
L eq ChangePrecision(L, 10);
assert not $1;
SetEchoInput(ei);
