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