"Source: Text/Code/CodeAdd.text";
"Line: 193";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeAdd.text, line: 193
// Example: H170E3 ()
print "Example: H170E3";
ei := GetEchoInput();
SetEchoInput(true);
C := RandomLinearCode(GF(4), 8, 3);
C:Minimal;
A1 := AdditiveCode(GF(4), C);
A1:Minimal;
{ v : v in C } eq {v : v in A1 };
assert $1;

A2 := AdditiveCode(GF(2), C);
A2:Minimal;
{ v : v in C } eq {v : v in A2 };
assert $1;
SetEchoInput(ei);
