"Source: Text/Ring/FldNum.text";
"Line: 3147";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldNum.text, line: 3147
// Example: H36E17 ()
print "Example: H36E17";
ei := GetEchoInput();
SetEchoInput(true);
D := NumberFieldDatabase(5);
#D;
assert $1 eq 289040;
D12 := sub<D |: Signature := [1,2]>;
#D12;
assert $1 eq 186906;
#sub<D12 |: ClassNumber := 4>;
assert $1 eq 1222;
#sub<D |: ClassNumber := 4>;
assert $1 eq 1255;
#sub<D12 |: ClassGroup := [2,2]>;
assert $1 eq 99;
SetEchoInput(ei);
