local z, r, result; result := rec(); result.comment := "L2(239) as 240 x 240 monomial matrices over Z(z119)\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 L2(239) r := 1; z := E(119)^r; result.symmetricforms := [ ]; result.antisymmetricforms := [ ]; result.hermitianforms := [ IdentityMat(240) ]; result.centralizeralgebra := [ IdentityMat(240) ]; result.generators := [ DiagonalMat([z^83,z^115,z^19,z^67,z^98,z^11,z^86,z^35,z^37,z^10,z^9, z^99,z^66,z^53,z^68,z^18,z^70,z^84,z^64,z^103,z^33,z^23,z^21,z^31, z^106,z^18,z^4,z^67,z^100,z^8,z^15,z^45,z^116,z^107,z^111,z^93,z^53, z^14,z^69,z^52,z^16,z^7,z^91,z^25,z^28,z^73,z^78,z^60,z^50,z^107, z^30,z^11,z^36,z^76,z,z^37,z^88,z^59,z^96,z^44,z^49,z^78,z^55,z^9, z^109,z^50,z^43,z^20,z^114,z^29,z^118,z^70,z^13,z^39,z^105,z^84, z^82,z^60,z^87,z^26,z^87,z^10,z^54,z^65,z^79,z^72,z^74,z^27,z^86, z^5,z^16,z^80,z^31,z^26,z^90,z^103,z^61,z^81,z^15,z^52,z^93,z^76, z^56,z^77,z^92,z^6,z^99,z^3,z^38,z^34,z^102,z^39,z^2,z^74,z^104, z^63,z^40,z^62,z^102,z^71,z^117,z^34,z^96,z^27,z^30,z^113,z^89,z^114, z^80,z^64,z^42,z^61,z^77,z^35,z^116,z^62,z^41,z^82,z^68,z^3,z^7, z^55,z^109,z^97,z^58,z^117,z^44,z^41,z^47,z^32,z^20,z^94,z^51,z^108, z^49,z^21,z^42,z^43,z^63,z^115,z^88,z^25,z^72,z^101,z^66,z^90,z^112, z^118,z^57,z^75,z,z^23,z^112,z^106,z^38,1,z^28,z^95,z^58,z^13,z^91, z^65,z^83,z^40,z^101,z^110,z^8,z^2,z^75,z^71,z^17,z^51,z^59,z^94, z^110,z^54,z^92,z^12,z^29,z^24,z^32,z^79,z^48,z^40,z^12,z^97,z^33, z^46,z^14,z^57,z^46,z^47,z^56,z^6,z^85,z^104,z^89,z^36,z^85,z^69, z^81,z^113,z^22,z^22,z^48,z^45,z^95,z^19,z^105,z^73,z^24,1,z^111, z^100,z^5,z^17,z^4,z^98,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^20,z^83,z^23,z^61,z^72,z^17,z^87,z^82,z^27,z^40,z^117, z^18,z^71,z^108,z^30,z^13,z^112,z^14,z^29,z^62,z^36,z^59,z^94,z^90, z^39,z^95,z^58,z^11,z^41,1,z^70,z^118,z^39,z^8,z^54,z^90,z^33,z^83, z^86,z^50,z^26,z^51,z^17,z,z^98,z^117,z^14,z^91,z^53,z^118,z^97, z^19,z^5,z^59,z^63,z^111,z^46,z^34,z^114,z^54,z^100,z^97,z^103,z^88, z^76,z^31,z^107,z^45,z^105,z^77,z^98,z^99,1,z^52,z^25,z^81,z^9,z^38, z^3,z^27,z^49,z^55,z^113,z^12,z^57,z^79,z^49,z^43,z^94,z^56,z^84, z^32,z^114,z^69,z^28,z^2,z^20,z^96,z^38,z^47,z^64,z^58,z^12,z^8, z^73,z^107,z^115,z^31,z^47,z^110,z^29,z^68,z^85,z^80,z^88,z^16,z^104, z^96,z^68,z^34,z^89,z^102,z^70,z^113,z^102,z^103,z^112,z^62,z^22, z^41,z^26,z^92,z^22,z^6,z^18,z^50,z^78,z^78,z^104,z^101,z^32,z^75, z^42,z^10,z^80,z^56,z^48,z^37,z^61,z^73,z^60,z^35,z^45,z^52,z^75, z^4,z^35,z^67,z^23,z^91,z^93,z^66,z^65,z^36,z^3,z^109,z^5,z^74,z^7, z^21,z,z^40,z^89,z^79,z^77,z^87,z^43,z^74,z^60,z^4,z^37,z^64,z^71, z^101,z^53,z^44,z^48,z^30,z^109,z^70,z^6,z^108,z^72,z^63,z^28,z^81, z^84,z^10,z^15,z^116,z^106,z^44,z^86,z^67,z^92,z^13,z^57,z^93,z^25, z^115,z^33,z^100,z^105,z^15,z^111,z^65,z^46,z^106,z^99,z^76,z^51, z^85,z^55,z^7,z^69,z^95,z^42,z^21,z^19,z^116,z^24,z^82,z^24,z^66, z^110,z^2,z^16,z^9,z^11,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;