local z, r, result; result := rec(); result.comment := "2.L2(239) as 240 x 240 monomial matrices over Z(z238)\n"; # Change the value of r to any number between 1 and 59 # to get the complete set of inequivalent faithful irreducible 240-dimensional # representations of 2.L2(239) r := 1; z := E(238)^(2*r-1); result.symmetricforms := [ ]; result.antisymmetricforms := [ ]; result.hermitianforms := [ IdentityMat(240) ]; result.centralizeralgebra := [ IdentityMat(240) ]; result.generators := [ DiagonalMat([z^83,z^115,z^138,z^67,z^98,z^11,z^86,z^154,z^37,z^10, z^128,z^218,z^185,z^172,z^187,z^18,z^70,z^84,z^64,z^103,z^152,z^142, z^21,z^31,z^225,z^137,z^4,z^186,z^100,z^8,z^134,z^45,z^235,z^226, z^230,z^212,z^53,z^133,z^69,z^52,z^16,z^126,z^91,z^144,z^147,z^192, z^78,z^179,z^50,z^107,z^149,z^130,z^155,z^76,z^120,z^156,z^207,z^178, z^215,z^44,z^49,z^197,z^174,z^9,z^109,z^169,z^162,z^20,z^233,z^148, z^118,z^189,z^13,z^158,z^224,z^203,z^201,z^60,z^87,z^145,z^206,z^129, z^54,z^65,z^198,z^72,z^74,z^27,z^205,z^5,z^135,z^199,z^150,z^26, z^209,z^222,z^180,z^81,z^15,z^171,z^93,z^195,z^56,z^77,z^211,z^6, z^99,z^3,z^157,z^34,z^221,z^39,z^121,z^193,z^223,z^182,z^40,z^62, z^102,z^71,z^236,z^153,z^96,z^146,z^30,z^113,z^208,z^114,z^80,z^183, z^161,z^61,z^196,z^35,z^116,z^181,z^41,z^82,z^68,z^122,z^7,z^55, z^228,z^97,z^58,z^117,z^163,z^160,z^47,z^151,z^139,z^213,z^51,z^227, z^168,z^140,z^42,z^43,z^63,z^234,z^88,z^25,z^191,z^220,z^66,z^90, z^231,z^237,z^176,z^75,z,z^23,z^112,z^106,z^38,1,z^28,z^214,z^177, z^132,z^210,z^184,z^202,z^159,z^101,z^229,z^127,z^2,z^194,z^190, z^136,z^170,z^59,z^94,z^110,z^173,z^92,z^12,z^29,z^24,z^32,z^79, z^167,z^40,z^131,z^216,z^33,z^165,z^14,z^57,z^46,z^166,z^175,z^125, z^85,z^104,z^89,z^36,z^204,z^188,z^200,z^232,z^141,z^22,z^48,z^164, z^95,z^19,z^105,z^73,z^143,-1,z^111,z^219,z^124,z^17,z^123,z^217, z^108,z^79]) * PermutationMat( ( 1,218)( 2, 27)( 3,234)( 4, 40)( 5, 23)( 6,239)( 7,207)( 8, 76) ( 9,138)( 10, 65)( 11,186)( 12,151)( 13, 14)( 15,192)( 16,185)( 17, 61) ( 18,134)( 19,142)( 20, 41)( 21, 89)( 22, 59)( 24,161)( 25,180)( 26,164) ( 28,100)( 29,228)( 30,233)( 31,115)( 32, 87)( 33,140)( 34,205)( 35,187) ( 36, 80)( 37,165)( 38, 75)( 39, 49)( 42,167)( 43,177)( 44,152)( 45,181) ( 46,208)( 47,137)( 48, 58)( 50,198)( 51,127)( 52,154)( 53,183)( 54,158) ( 55,168)( 56, 77)( 57, 93)( 60,170)( 62,148)( 63,130)( 64,195)( 66,220) ( 67,102)( 68,107)( 69,235)( 70, 95)( 71,171)( 72,155)( 73,174)( 74, 92) ( 78,193)( 79,201)( 81,150)( 82,143)( 83, 84)( 85,184)( 86,149)( 88,197) ( 90,128)( 91, 96)( 94,101)( 97,179)( 98,175)( 99,216)(103,159)(104,157) (105,124)(106,126)(108,135)(109,221)(110,215)(111,191)(112,129)(113,121) (114,226)(116,213)(117,240)(118,210)(119,236)(120,225)(122,219)(123,172) (125,217)(131,133)(132,145)(136,169)(139,153)(141,173)(144,224)(146,188) (147,189)(156,238)(160,237)(162,194)(163,212)(166,199)(176,232)(178,231) (182,196)(190,203)(200,227)(202,204)(206,223)(209,229)(211,230)(214,222), 240) , DiagonalMat([z^139,z^83,z^23,z^61,z^191,z^17,z^206,z^82,z^27,z^40, z^236,z^137,z^71,z^227,z^149,z^13,z^112,z^133,z^29,z^62,z^155,z^59, z^213,z^90,z^39,z^95,z^177,z^11,z^41,1,z^70,z^118,z^158,z^127,z^54, z^209,z^152,z^202,z^86,z^169,z^26,z^170,z^136,z,z^217,z^117,z^14, z^91,z^172,z^237,z^97,z^138,z^124,z^178,z^63,z^111,z^46,z^153,z^114, z^173,z^219,z^216,z^103,z^207,z^195,z^31,z^107,z^45,z^224,z^196, z^98,z^99,-1,z^52,z^144,z^81,z^9,z^38,z^122,z^146,z^49,z^55,z^232, z^131,z^57,z^79,z^168,z^162,z^94,z^56,z^84,z^32,z^233,z^188,z^28, z^2,z^20,z^215,z^157,z^47,z^183,z^58,z^12,z^8,z^192,z^226,z^115, z^150,z^166,z^229,z^148,z^68,z^85,z^80,z^88,z^135,z^223,z^96,z^187, z^34,z^89,z^221,z^70,z^113,z^102,z^222,z^231,z^181,z^141,z^160,z^145, z^92,z^22,z^6,z^18,z^50,z^197,z^78,z^104,z^220,z^151,z^75,z^161, z^129,z^199,z^175,z^167,z^37,z^180,z^73,z^179,z^35,z^164,z^171,z^194, z^123,z^154,z^67,z^142,z^210,z^93,z^66,z^184,z^36,z^3,z^228,z^5, z^74,z^126,z^140,z^120,z^159,z^208,z^198,z^77,z^87,z^43,z^193,z^60, z^4,z^156,z^64,z^190,z^101,z^53,z^44,z^48,z^30,z^109,z^189,z^125, z^108,z^72,z^182,z^147,z^200,z^203,z^10,z^134,z^235,z^106,z^163, z^205,z^186,z^211,z^132,z^176,z^212,z^25,z^234,z^33,z^100,z^105, z^15,z^230,z^65,z^165,z^225,z^218,z^76,z^51,z^204,z^174,z^7,z^69, z^214,z^42,z^21,z^19,z^116,z^143,z^201,z^24,z^185,z^110,z^121,z^16, z^128,z^130,z^49]) * PermutationMat( ( 1,175,133)( 2,180,141)( 3, 94, 9)( 4, 16,153)( 5,215, 82)( 6,117, 11) ( 7,220,155)( 8,128, 23)( 10, 40, 19)( 12, 37,119)( 13, 66, 43)( 14, 91,217) ( 15,145,238)( 17,123, 90)( 18,137, 80)( 20,114,118)( 21,176,210)( 22,167,223) ( 24, 55,113)( 25,121,235)( 26,204, 65)( 27,168,218)( 28,150,157)( 29,213,132) ( 30,185,234)( 31,240, 73)( 32,219,170)( 33,207,159)( 34,162, 68)( 35,109,135) ( 36,225,174)( 38,179,226)( 39,184,221)( 41,158,131)( 42,152,211)( 44,172,138) ( 45,236, 52)( 46,228,212)( 47,237,173)( 48,165, 75)( 49, 56,178)( 50,130, 86) ( 51,224,199)( 53,190,202)( 54,164,233)( 57,149,103)( 58,146,111)( 59,142, 81) ( 60,148, 95)( 61,191,206)( 62,143, 72)( 63,144,134)( 64,147,125)( 67, 77, 79) ( 69,188,126)( 70,239,108)( 71, 97,171)( 74,231,177)( 76,156,120)( 78,198,183) ( 83,189,116)( 84,230,110)( 85,181,209)( 87,169,194)( 88, 92,186)( 89,200,195) ( 93,151,182)( 96,214,122)( 98,205,136)( 99,222,107)(100,101,104)(102,105,106) (112,203,197)(115,192,227)(124,229,201)(127,129,139)(140,193,163)(154,208,161) (160,232,216)(166,196,187), 240)]; return result;