"Source: Text/Ring/FldNum.text";
"Line: 2438";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldNum.text, line: 2438
// Example: H36E14 ()
print "Example: H36E14";
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);
