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

F:=GF(7);

x:=CambridgeMatrix(1,F,5,[
"01000",
"10000",
"00010",
"00100",
"25161"]);

y:=CambridgeMatrix(1,F,5,[
"10000",
"00100",
"46600",
"00001",
"30066"]);

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