/*
www-ATLAS of Group Representations.
S4(5) represented as 12 x 12 matrices over GF(4).
*/

F<w>:=GF(4);

x:=CambridgeMatrix(1,F,12,[
"322300000000",
"103210030000",
"001311320010",
"223003230030",
"022113021112",
"002100332221",
"101001310013",
"033032232213",
"011310013211",
"300131130131",
"220310030010",
"312310230000"]);

y:=CambridgeMatrix(1,F,12,[
"221103113102",
"331211201330",
"013130303322",
"120303112211",
"202020033120",
"332012123020",
"232022313031",
"023031032102",
"213231100212",
"212001333310",
"320320203000",
"103213310203"]);

G<x,y>:=MatrixGroup<12,F|x,y>;
print "Group G is S4(5) < GL(12,GF(4))";