"Source: Text/Ring/RngLoc.text";
"Line: 1727";
"Date: Fri Sep 26 14:29:19 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngLoc.text, line: 1727
// Example: H49E9 ()
print "Example: H49E9";
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>;
K<pi> := ext<BaseField(FieldOfFractions(L)) | x^2 + 5>;
K;
elt<K | 64>;
P := PrimeField(K);
elt<K | 2, 3/4, 6>;
4*$1;
K!3/5;
O(K!40^200);
Precision($1);
assert $1 eq 0;
O(K!0);
O(K!1);
R<x> := PolynomialRing(Integers());
K<pi> := ext<pAdicField(5, 100) | x^2 + 5>;
elt<K | 64>;
Precision($1);
assert $1 eq 200;
K!3/10;
SetEchoInput(ei);
