"Source: Text/Ring/RngOrd.text";
"Line: 4980";
"Date: Fri May 26 16:23:18 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/RngOrd.text, line: 4980
// Example: H39E19 ()
print "Example: H39E19";
ei := GetEchoInput();
SetEchoInput(true);
map1 := map< PowerStructure(RngOrd) -> Integers() | 
                            order :-> BachBound(order) div 10 >;
map2 := map< PowerStructure(RngOrd) -> Integers() | 
                            order :-> MinkowskiBound(order) >;
SetClassGroupBoundMaps( map1, map2);
SetEchoInput(ei);
