/*
www-ATLAS of Group Representations.
L2(16) represented as 2 x 2 matrices over GF(16).
*/

F<w>:=GF(16);

x:=CambridgeMatrix(3,F,2,\[
0,2,
9,0]);

y:=CambridgeMatrix(3,F,2,\[
0,1,
1,1]);

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