"Source: Text/Code/CodeRng.text";
"Line: 105";
"Date: Tue Nov  5 09:08:43 2019";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeRng.text, line: 105
// Example: H168E1 ()
print "Example: H168E1";
ei := GetEchoInput();
SetEchoInput(true);
Z4 := IntegerRing(4);
O8 := LinearCode<Z4, 8 |
    [1,0,0,0,3,1,2,1],
    [0,1,0,0,1,2,3,1],
    [0,0,1,0,3,3,3,2],
    [0,0,0,1,2,3,1,1]>;
O8;
O8 := LinearCode(sub<RSpace(Z4, 8) |
    [1,0,0,0,3,1,2,1],
    [0,1,0,0,1,2,3,1],
    [0,0,1,0,3,3,3,2],
    [0,0,0,1,2,3,1,1]>);
SetEchoInput(ei);
