"Source: Text/Ring/RngLoc.text";
"Line: 5469";
"Date: Fri Sep 26 14:29:19 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngLoc.text, line: 5469
// Example: H49E36 ()
print "Example: H49E36";
ei := GetEchoInput();
SetEchoInput(true);
Qp := pAdicField(11 : Exact);
f := Polynomial(Qp, [3241, 245, 134, 1345, 125, 1542]);
f;
f := ExactPolynomial(f); f;
BaseRing(f);
CanChangeRing(f, Integers(Qp));
Degree(f);
WeakDegree(ExactPolynomial(f));
Coefficient(f, 2);
Evaluate(f, Qp.1);
Derivative(f, 2);
Discriminant(f);
Resultant(f, Derivative(f));
IsInertial(f);
IsEisenstein(f);
IsWeaklyZero(PolynomialRing(Qp : Exact)!0);
IsDefinitelyZero(PolynomialRing(Qp : Exact)!0);
IsWeaklyZero(f-f);                             
IsDefinitelyZero(f-f);
IsDefinitelyEqual(f, f);
SetEchoInput(ei);
