local i, result; result := rec(); i := E(4); result.comment := "2G24 as 12 x 12 matrices over Z[i]\n\ Original matrices obtained from construction given in:\n\n\ The quaternionic lattice for 2G_2(4) and its maximal subgroups\n\ Robert A. Wilson\n\ J. Algebra 77, 449-466 (1982), pp449-466\n\n\ Re-seeded with i-eigenvector of a +/-8B element (ab^4ab^2ab^3abab)\n"; result.symmetricforms := [ ]; result.antisymmetricforms := [ ]; result.hermitianforms := [ [[1,1,0,i,-i,0,1,-1,0,-1,0,-i], [1,1,-i,1,0,-1,i,-1,i,0,i,-1], [0,i,0,-1,0,0,-i,-i,-1,-1,-1,0], [-i,1,-1,-1,i,i,1,-1,0,-1-i,0,0], [i,0,0,-i,0,-1,-1,0,-1,0,0,i], [0,-1,0,-i,-1,-1,-1+i,0,0,1,1,1], [1,-i,i,1,-1,-1-i,-1,0,0,i,0,0], [-1,-1,i,-1,0,0,0,0,-i,0,1,1], [0,-i,-1,0,-1,0,0,i,1,0,1-i,0], [-1,0,-1,-1+i,0,1,-i,0,0,-1,0,0], [0,-i,-1,0,0,1,0,1,1+i,0,0,i], [i,-1,0,0,-i,1,0,1,0,0,-i,1]]]; result.centralizeralgebra := [ IdentityMat(12) ]; result.generators := [ [[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,0,1,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,1,0,0,0,0,0,0,0,0], [-1-i,1+i,i,1,-i,i,-1,1,0,-i,0,0], [0,0,1,1,-1,1+i,-1,0,1,-1-i,0,0], [0,0,0,0,0,1,0,0,0,0,0,0], [1,-1,-i,i,i,0,-i,0,0,0,1,0], [i,-i,-2*i,-1+i,2*i,-1-i,1-i,0,0,1+i,0,1]] , [[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,1,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,0,1,0], [0,0,-1,i,1,-1,0,0,0,1,0,0], [0,0,0,0,0,0,0,0,0,0,0,1], [0,1+i,1,-i,-1,1+i,-2+i,1,1-i,-2,1,-1], [0,1,1-i,-i,-1+i,2,-1+i,1-i,-i,-2+i,1,0], [-1,0,-1,0,0,-1,0,0,0,0,-1,0], [0,-1,0,-1,0,0,0,-1,0,0,0,-1]]]; return result;