"Source: Text/Ring/RngOrdGal.text";
"Line: 109";
"Date: Mon May 16 10:58:19 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/RngOrdGal.text, line: 109
// 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);
