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