# F:=RationalField(); local result, l; result:= rec(); result.comment:= "L2(8):3 as 7 x 7 matrices over Z.\n\ "; result.symmetricforms:= []; result.antisymmetricforms:= []; result.hermitianforms:= []; result.centralizeralgebra:= []; result.generators:= List( [ [ -1,0,0,0,0,0,0, 0,0,1,0,0,0,0, 0,1,0,0,0,0,0, 0,0,0,0,0,1,0, 0,0,0,0,0,0,1, 0,0,0,1,0,0,0, 0,0,0,0,1,0,0] ,[ 0,1,0,0,0,0,0, 0,0,0,1,0,0,0, 0,0,0,0,1,0,0, 1,0,0,0,0,0,0, 0,0,0,0,0,0,1, 0,0,0,0,-1,1,1, 0,0,1,0,0,0,0] ], l -> List( [ 0 .. 6 ], i -> l{ [ i*7+1 .. (i+1)*7 ] } ) ); return result;