"Source: Text/Code/CodeZ4.text";
"Line: 1164";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeZ4.text, line: 1164
// Example: H169E13 ()
print "Example: H169E13";
ei := GetEchoInput();
SetEchoInput(true);
C := LinearCode<Integers(4), 4 | [[2,0,0,2],[0,1,1,3]]>;
R, V, f, fbin := InformationSpace(C);
G := MinRowsGeneratorMatrix(C);
(#R eq #C) and (#V eq #C);
Set([f(i) : i in R]) eq Set(C);
Set([i*G : i in R]) eq Set(C);
i := R![2,3];
c := f(i);
c;
c in C;
i*G eq c;
ibin := V![1,1,0];
cbin := fbin(ibin);
cbin;
cbin in GrayMapImage(C);
cbin eq GrayMap(C)(c);
SetEchoInput(ei);
