"Source: Text/Ring/RngLoc.text";
"Line: 3537";
"Date: Fri Sep 26 14:29:19 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngLoc.text, line: 3537
// Example: H49E24 ()
print "Example: H49E24";
ei := GetEchoInput();
SetEchoInput(true);
Zx<x> := PolynomialRing(Integers());
g := x^5 - x + 1;
Factorization(Discriminant(g));
g2 := Factorization( PolynomialRing(pAdicRing(2, 10)) ! g );
g2;
g3 := Factorization( PolynomialRing(pAdicRing(3, 10)) ! g );
g3;
g7 := Factorization( PolynomialRing(pAdicRing(7, 10)) ! g );
g7;
SetEchoInput(ei);
