"Source: Text/Ring/RngLoc.text";
"Line: 1770";
"Date: Fri Sep 26 14:29:19 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngLoc.text, line: 1770
// Example: H49E10 ()
print "Example: H49E10";
ei := GetEchoInput();
SetEchoInput(true);
SetSeed(1);
P := pAdicRing(5);
R := ext<P | 2>; 
P`DefaultPrecision;
assert $1 eq 20;
R`DefaultPrecision := 40;
x := Random(R);
x;
s := [-680575730458975039033394769, -1579801843431963201369145587];
R!s;
P`DefaultPrecision := 40;
R!s;
SetEchoInput(ei);
