"Source: Text/Ring/RngLoc.text";
"Line: 1763";
"Date: Fri Apr 14 10:35:14 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/RngLoc.text, line: 1763
// Example: H48E10 ()
print "Example: H48E10";
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);
