/*
www-ATLAS of Group Representations.
L3(2) represented as 3 x 3 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,3,[
"100",
"010",
"101"]);

y:=CambridgeMatrix(1,F,3,[
"010",
"001",
"100"]);

G<x,y>:=MatrixGroup<3,F|x,y>;
print "Group G is L3(2) < GL(3,GF(2))";