/*
www-ATLAS of Group Representations.
U3(5):2 represented as 20 x 20 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,20,[
"01000000000000000000",
"10000000000000000000",
"00010000000000000000",
"00100000000000000000",
"00000010000000000000",
"00000001000000000000",
"00001000000000000000",
"00000100000000000000",
"00000000000100000000",
"00000000000001000000",
"00000000000000010000",
"00000000100000000000",
"00000000000000000010",
"00000000010000000000",
"40111233212011422031",
"00000000001000000000",
"33113434111111014010",
"00001040000000000100",
"00000000000010000000",
"30332113033113034001"]);

y:=CambridgeMatrix(1,F,20,[
"00100000000000000000",
"04400000000000000000",
"00001000000000000000",
"00000100000000000000",
"10401000000000000000",
"00000000100000000000",
"00000000010000000000",
"00000000001000000000",
"00000000000010000000",
"00000000000000100000",
"00000000000000001000",
"00000000000000000100",
"00010000000000000000",
"00000000000000000001",
"41110020420323433001",
"31440111220010421421",
"00434332343134133024",
"41032033020132120004",
"40441114120223204134",
"04432211421011231033"]);

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