"Source: Text/Ring/RngOrdGal.text";
"Line: 519";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngOrdGal.text, line: 519
// Example: H40E3 ()
print "Example: H40E3";
ei := GetEchoInput();
SetEchoInput(true);
SetEchoInput(false);
load galpols;
SetEchoInput(true);
f:=PolynomialWithGaloisGroup(5,2);
assert IsIsomorphic(GaloisGroup(f),DihedralGroup(5));
K:=NumberField(f);
FrobeniusElement(K,2);
FrobeniusElement(K,5);
SetEchoInput(ei);
