"Source: Text/Ring/RngOrdGal.text";
"Line: 113";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngOrdGal.text, line: 113
// Example: H40E1 ()
print "Example: H40E1";
ei := GetEchoInput();
SetEchoInput(true);
Q := RationalField();
R<x> := PolynomialRing(Q);
K<w> := NumberField(x^4 - 4*x^2 + 1);
A := Automorphisms(K);
A;
for phi in A do phi(w); end for;
G, Aut, tau := AutomorphismGroup(K);                                 
for x in G do tau(x)(w); end for;
SetEchoInput(ei);
