"Source: Text/Code/CodeAdd.text";
"Line: 216";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeAdd.text, line: 216
// Example: H170E4 ()
print "Example: H170E4";
ei := GetEchoInput();
SetEchoInput(true);
C4 := RandomAdditiveCode(GF(16), GF(4), 8, 5); 
C4:Minimal;

C2 := AdditiveCode(GF(2), C4);
C2:Minimal;
{ v : v in C2 } eq {v : v in C4 };
assert $1;
C2:Minimal;
A1 := AdditiveCode(GF(4), C2);
A1 eq C4;
assert $1;
SetEchoInput(ei);
