"Source: Text/Code/CodeRng.text";
"Line: 633";
"Date: Tue Nov  5 09:08:43 2019";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeRng.text, line: 633
// Example: H168E7 ()
print "Example: H168E7";
ei := GetEchoInput();
SetEchoInput(true);
R<w> := GR(4,2);
C := RandomLinearCode(R, 4, 2);
C;
#C;
C1 := sub< C | 2*C.1, 2*C.2 >;
C1;
#C1;
SetEchoInput(ei);
