"Source: Text/Code/CodeAdd.text";
"Line: 376";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeAdd.text, line: 376
// Example: H170E6 ()
print "Example: H170E6";
ei := GetEchoInput();
SetEchoInput(true);
F<w> := GF(5,4);
K := GF(5,2);
C := RandomAdditiveCode(F, K, 12, 5);
C:Minimal;
#C;
assert $1 eq 9765625;
Alphabet(C);
CoefficientField(C);

C1 := AdditiveCode(GF(5), C);
C1:Minimal;
#C1;
assert $1 eq 9765625;
Alphabet(C1);
CoefficientField(C1);
SetEchoInput(ei);
