"Source: Text/Ring/FldNum.text";
"Line: 2256";
"Date: Wed Apr 27 14:29:19 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/FldNum.text, line: 2256
// Example: H36E13 ()
print "Example: H36E13";
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);
