"Source: Text/Ring/FldAb.text";
"Line: 906";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldAb.text, line: 906
// Example: H41E6 ()
print "Example: H41E6";
ei := GetEchoInput();
SetEchoInput(true);
m := LLL(MaximalOrder(Polynomial([2601, -153, -144, 93, 6, -3, 1 ])));
a, b := ClassGroup(m : Proof := "GRH");
assert AbelianInvariants(a) eq [3,3];
a;
H := HilbertClassField(NumberField(m)); H;
time _ := MaximalOrder(H);
A := AbelianExtension(b);
HH := NumberField(A);
time M := MaximalOrder(A:Al := "Discriminant");
Discriminant(M);
assert $1 eq 1*m;
time MaximalOrder(HH);
SetEchoInput(ei);
