"Source: Text/Ring/RngLoc.text";
"Line: 3681";
"Date: Fri Apr 14 10:35:14 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/RngLoc.text, line: 3681
// Example: H48E26 ()
print "Example: H48E26";
ei := GetEchoInput();
SetEchoInput(true);
I<a> := ext<pAdicRing(2, 10) | 2>;
R<x> := PolynomialRing(I);
L<b> := ext<I | x^2 + 2*a*x + 2*a^2>;
L;
A := Automorphisms(L);
[<A[i](a), A[i](b)> : i in [1 .. #A]];
AutomorphismGroup(L);
SetEchoInput(ei);
