"Source: Text/Ring/RngLoc.text";
"Line: 5122";
"Date: Fri Sep 26 14:29:19 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngLoc.text, line: 5122
// Example: H49E34 ()
print "Example: H49E34";
ei := GetEchoInput();
SetEchoInput(true);
Zp := pAdicRing(19 :  Exact);
x := Zp!3948701;
y := Zp!748873*19;
x;     
y;
FieldOfFractions(Zp)!x; 
FieldOfFractions(Zp)!y;
AbsolutePrecision(x);
RelativePrecision(x);
Valuation(x);
WeakValuation(x);
ShiftValuation(x, 5);
ValuationGe($1, 5);
IsUnit(x);
IsIntegral(x);
Valuation(y);
x + y;
x*y;
Valuation(y^5);
x/y;
Quotrem(x, y);
Quotrem(y, x);
Gcd(x, y);
Xgcd(19*x, y);
IsWeaklyZero(Zp!0);
IsDefinitelyZero(Zp!0);
IsDefinitelyZero(FieldOfFractions(Zp)!0);
IsDefinitelyEqual(x, x);                 
CoerceAndLift(Zp, 0);
IsWeaklyZero($1);
IsDefinitelyZero($2); 
CoerceAndLift(FieldOfFractions(Zp), 0);
IsDefinitelyZero($1);                  
SetEchoInput(ei);
