"Source: Text/Code/CodeFld.text";
"Line: 5783";
"Date: Tue May 30 11:26:03 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Code/CodeFld.text, line: 5783
// Example: H161E50 ()
print "Example: H161E50";
ei := GetEchoInput();
SetEchoInput(true);
C := BCHCode(GF(2),23,2);                
C;
WeightDistribution(C);
AutomorphismGroup(C : Weight := MinimumWeight(C) );
SetEchoInput(ei);
