"Source: Text/Ring/RngOrd.text";
"Line: 5054";
"Date: Fri Sep 26 14:51:59 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngOrd.text, line: 5054
// 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);
