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