# F:=RationalField(); local result, l; result:= rec(); result.comment:= "2\"A5 as 12 x 12 monomial matrices over Z.\n\ Rep is 6a + 6a and is irreducible over Q.\n\ "; result.symmetricforms:= []; result.antisymmetricforms:= []; result.hermitianforms:= []; result.centralizeralgebra:= []; result.generators:= List( [ [ 0,1,0,0,0,0,0,0,0,0,0,0, -1,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,-1,0,0,0,0,0,0,0,0, 0,0,1,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,1,0,0,0,0,0, 0,0,0,0,0,0,0,1,0,0,0,0, 0,0,0,0,-1,0,0,0,0,0,0,0, 0,0,0,0,0,-1,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,-1,0, 0,0,0,0,0,0,0,0,0,0,0,-1, 0,0,0,0,0,0,0,0,1,0,0,0, 0,0,0,0,0,0,0,0,0,1,0,0] ,[ 0,0,1,0,0,0,0,0,0,0,0,0, 0,0,0,1,0,0,0,0,0,0,0,0, 0,0,0,0,1,0,0,0,0,0,0,0, 0,0,0,0,0,1,0,0,0,0,0,0, 1,0,0,0,0,0,0,0,0,0,0,0, 0,1,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,1,0,0,0, 0,0,0,0,0,0,0,0,0,1,0,0, 0,0,0,0,0,0,0,0,0,0,1,0, 0,0,0,0,0,0,0,0,0,0,0,1, 0,0,0,0,0,0,1,0,0,0,0,0, 0,0,0,0,0,0,0,1,0,0,0,0] ], l -> List( [ 0 .. 11 ], i -> l{ [ i*12+1 .. (i+1)*12 ] } ) ); return result;