"Source: Text/Code/CodeRng.text";
"Line: 998";
"Date: Tue Nov  5 09:08:43 2019";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeRng.text, line: 998
// Example: H168E10 ()
print "Example: H168E10";
ei := GetEchoInput();
SetEchoInput(true);
R<w> := GR(8,2);
C1 := RandomLinearCode(R, 4, 2);
C2 := RandomLinearCode(R, 5, 3);
Length(C1);
Length(C2);
C3 := DirectSum(C1, C2);
Length(C3);
C4 := DirectProduct(C1, C2);
Length(C4);
C5 := C1 cat C2;
Length(C5);
SetEchoInput(ei);
