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

F:=GF(3);

x:=CambridgeMatrix(1,F,5,[
"01000",
"10000",
"00200",
"22020",
"00002"]);

y:=CambridgeMatrix(1,F,5,[
"00100",
"02200",
"00010",
"00001",
"12121"]);

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