"Source: Text/Ring/RngOrd.text";
"Line: 5198";
"Date: Fri May 26 16:23:18 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/RngOrd.text, line: 5198
// Example: H39E20 ()
print "Example: H39E20";
ei := GetEchoInput();
SetEchoInput(true);
R<x> := PolynomialRing(Integers());
f := x^4 - 420*x^2 + 40000;
K<y> := NumberField(f);
C := ClassGroup(K);
C;
U := UnitGroup(K);
U;
T := TorsionUnitGroup(K);
T;
SetEchoInput(ei);
