/*
www-ATLAS of Group Representations.
U4(2):2 represented as 14 x 14 matrices over GF(2).
*/

F:=GF(2);

x:=CambridgeMatrix(1,F,14,[
"01000000000000",
"10000000000000",
"00001000000000",
"00000100000000",
"00100000000000",
"00010000000000",
"00000010000000",
"11000001000000",
"00000010100000",
"00101000010000",
"00111100001000",
"00101000000100",
"11000010000010",
"00010110000001"]);

y:=CambridgeMatrix(1,F,14,[
"00100000000000",
"00010000000000",
"11000000000000",
"00000010000000",
"00000001000000",
"00000000100000",
"00000000010000",
"00000000001000",
"00000000000100",
"00000000000010",
"00100101111100",
"00000000000001",
"11011111101100",
"01101101001100"]);

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