"Source: Text/Code/CodeAdd.text";
"Line: 156";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeAdd.text, line: 156
// Example: H170E2 ()
print "Example: H170E2";
ei := GetEchoInput();
SetEchoInput(true);
K<w> := GF(8);
M := KMatrixSpace(K, 5, 4);    
C := AdditiveCode(GF(2), Random(M));
C;
WeightDistribution(C);
C;                    
SetEchoInput(ei);
