Dear GAP-Forum,
gap> RequirePackage("guava");
gap> G:=GeneratorMat(HammingCode(3,GF(2)));
[ <an immutable GF2 vector of length 7>, <an immutable GF2 vector of
length 7>
, <an immutable GF2 vector of length 7>,
<an immutable GF2 vector of length 7> ]
gap> GM:=[];
[ ]
gap> for j in [1..4] do
> GM[j]:=List([1..7],i->G[j][i]);
> od;
gap> GM;
[ [ Z(2)^0, Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ],
[ Z(2)^0, 0*Z(2), 0*Z(2), Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2) ],
[ 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2) ],
[ Z(2)^0, Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2), Z(2)^0 ] ]
The object G here *is* the 4 by 7 matrix over GF(2) you are looking for. It
is just that it is printed in a slightly strange way (more precisely, the
"View" method is a bit strange, we can think about changing this in upcoming
versions of GAP).
You can use one of the following commands to look at the object G directly:
gap> G:=GeneratorMat(HammingCode(3,GF(2)));
[ <an immutable GF2 vector of length 7>, <an immutable GF2 vector of length 7>
, <an immutable GF2 vector of length 7>,
<an immutable GF2 vector of length 7> ]
gap> Display(G);
1 1 1 . . . .
1 . . 1 1 . .
. 1 . 1 . 1 .
1 1 . 1 . . 1
gap> Print(G);
[ [ Z(2)^0, Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2), 0*Z(2), 0*Z(2) ],
[ Z(2)^0, 0*Z(2), 0*Z(2), Z(2)^0, Z(2)^0, 0*Z(2), 0*Z(2) ],
[ 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2) ],
[ Z(2)^0, Z(2)^0, 0*Z(2), Z(2)^0, 0*Z(2), 0*Z(2), Z(2)^0 ] ]gap>
With best regards,
Frank Lübeck
/// Dr. Frank Lübeck, Lehrstuhl D für Mathematik, Templergraben 64, /// \\\ 52062 Aachen, Germany \\\ /// E-mail: Frank.Luebeck@Math.RWTH-Aachen.De /// \\\ WWW: http://www.math.rwth-aachen.de/~Frank.Luebeck/ \\\