"Source: Text/Code/CodeAdd.text";
"Line: 193";
"Date: Tue Jun  7 22:27:15 2016";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Code/CodeAdd.text, line: 193
// Example: H166E3 ()
print "Example: H166E3";
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);
