Polytope of Type {6,40}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {6,40}*960d
if this polytope has a name.
Group : SmallGroup(960,10967)
Rank : 3
Schlafli Type : {6,40}
Number of vertices, edges, etc : 12, 240, 80
Order of s0s1s2 : 30
Order of s0s1s2s1 : 8
Special Properties :
   Compact Hyperbolic Quotient
   Locally Spherical
   Orientable
Related Polytopes :
   Facet
   Vertex Figure
   Dual
Facet Of :
   {6,40,2} of size 1920
Vertex Figure Of :
   {2,6,40} of size 1920
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {6,20}*480c
   4-fold quotients : {6,20}*240b
   5-fold quotients : {6,8}*192c
   8-fold quotients : {6,10}*120
   10-fold quotients : {6,4}*96
   20-fold quotients : {3,4}*48, {6,4}*48b, {6,4}*48c
   24-fold quotients : {2,10}*40
   40-fold quotients : {3,4}*24, {6,2}*24
   48-fold quotients : {2,5}*20
   80-fold quotients : {3,2}*12
   120-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
   2-fold covers : {12,40}*1920e, {6,40}*1920b, {12,40}*1920g
Permutation Representation (GAP) :
s0 := (  3,  6)(  4,  5)(  7,  8)( 11, 14)( 12, 13)( 15, 16)( 19, 22)( 20, 21)
( 23, 24)( 27, 30)( 28, 29)( 31, 32)( 35, 38)( 36, 37)( 39, 40)( 41, 81)
( 42, 82)( 43, 86)( 44, 85)( 45, 84)( 46, 83)( 47, 88)( 48, 87)( 49, 89)
( 50, 90)( 51, 94)( 52, 93)( 53, 92)( 54, 91)( 55, 96)( 56, 95)( 57, 97)
( 58, 98)( 59,102)( 60,101)( 61,100)( 62, 99)( 63,104)( 64,103)( 65,105)
( 66,106)( 67,110)( 68,109)( 69,108)( 70,107)( 71,112)( 72,111)( 73,113)
( 74,114)( 75,118)( 76,117)( 77,116)( 78,115)( 79,120)( 80,119)(121,122)
(123,125)(124,126)(129,130)(131,133)(132,134)(137,138)(139,141)(140,142)
(145,146)(147,149)(148,150)(153,154)(155,157)(156,158)(161,202)(162,201)
(163,205)(164,206)(165,203)(166,204)(167,207)(168,208)(169,210)(170,209)
(171,213)(172,214)(173,211)(174,212)(175,215)(176,216)(177,218)(178,217)
(179,221)(180,222)(181,219)(182,220)(183,223)(184,224)(185,226)(186,225)
(187,229)(188,230)(189,227)(190,228)(191,231)(192,232)(193,234)(194,233)
(195,237)(196,238)(197,235)(198,236)(199,239)(200,240);;
s1 := (  1, 41)(  2, 42)(  3, 44)(  4, 43)(  5, 47)(  6, 48)(  7, 45)(  8, 46)
(  9, 73)( 10, 74)( 11, 76)( 12, 75)( 13, 79)( 14, 80)( 15, 77)( 16, 78)
( 17, 65)( 18, 66)( 19, 68)( 20, 67)( 21, 71)( 22, 72)( 23, 69)( 24, 70)
( 25, 57)( 26, 58)( 27, 60)( 28, 59)( 29, 63)( 30, 64)( 31, 61)( 32, 62)
( 33, 49)( 34, 50)( 35, 52)( 36, 51)( 37, 55)( 38, 56)( 39, 53)( 40, 54)
( 83, 84)( 85, 87)( 86, 88)( 89,113)( 90,114)( 91,116)( 92,115)( 93,119)
( 94,120)( 95,117)( 96,118)( 97,105)( 98,106)( 99,108)(100,107)(101,111)
(102,112)(103,109)(104,110)(121,161)(122,162)(123,164)(124,163)(125,167)
(126,168)(127,165)(128,166)(129,193)(130,194)(131,196)(132,195)(133,199)
(134,200)(135,197)(136,198)(137,185)(138,186)(139,188)(140,187)(141,191)
(142,192)(143,189)(144,190)(145,177)(146,178)(147,180)(148,179)(149,183)
(150,184)(151,181)(152,182)(153,169)(154,170)(155,172)(156,171)(157,175)
(158,176)(159,173)(160,174)(203,204)(205,207)(206,208)(209,233)(210,234)
(211,236)(212,235)(213,239)(214,240)(215,237)(216,238)(217,225)(218,226)
(219,228)(220,227)(221,231)(222,232)(223,229)(224,230);;
s2 := (  1,135)(  2,136)(  3,133)(  4,134)(  5,132)(  6,131)(  7,130)(  8,129)
(  9,127)( 10,128)( 11,125)( 12,126)( 13,124)( 14,123)( 15,122)( 16,121)
( 17,159)( 18,160)( 19,157)( 20,158)( 21,156)( 22,155)( 23,154)( 24,153)
( 25,151)( 26,152)( 27,149)( 28,150)( 29,148)( 30,147)( 31,146)( 32,145)
( 33,143)( 34,144)( 35,141)( 36,142)( 37,140)( 38,139)( 39,138)( 40,137)
( 41,175)( 42,176)( 43,173)( 44,174)( 45,172)( 46,171)( 47,170)( 48,169)
( 49,167)( 50,168)( 51,165)( 52,166)( 53,164)( 54,163)( 55,162)( 56,161)
( 57,199)( 58,200)( 59,197)( 60,198)( 61,196)( 62,195)( 63,194)( 64,193)
( 65,191)( 66,192)( 67,189)( 68,190)( 69,188)( 70,187)( 71,186)( 72,185)
( 73,183)( 74,184)( 75,181)( 76,182)( 77,180)( 78,179)( 79,178)( 80,177)
( 81,215)( 82,216)( 83,213)( 84,214)( 85,212)( 86,211)( 87,210)( 88,209)
( 89,207)( 90,208)( 91,205)( 92,206)( 93,204)( 94,203)( 95,202)( 96,201)
( 97,239)( 98,240)( 99,237)(100,238)(101,236)(102,235)(103,234)(104,233)
(105,231)(106,232)(107,229)(108,230)(109,228)(110,227)(111,226)(112,225)
(113,223)(114,224)(115,221)(116,222)(117,220)(118,219)(119,218)(120,217);;
poly := Group([s0,s1,s2]);;
 
Finitely Presented Group Representation (GAP) :
F := FreeGroup("s0","s1","s2");;
s0 := F.1;;  s1 := F.2;;  s2 := F.3;;  
rels := [ s0*s0, s1*s1, s2*s2, s0*s2*s0*s2, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1, 
s0*s1*s2*s1*s2*s1*s2*s1*s0*s1*s2*s1*s2*s1*s2*s1, 
s2*s0*s1*s2*s0*s1*s2*s1*s0*s1*s2*s0*s1*s2*s0*s1*s2*s1*s0*s1, 
s2*s1*s2*s1*s2*s1*s2*s1*s2*s0*s1*s2*s1*s0*s2*s1*s0*s2*s1*s2*s1*s0*s2*s1 ];;
poly := F / rels;;
 
Permutation Representation (Magma) :
s0 := Sym(240)!(  3,  6)(  4,  5)(  7,  8)( 11, 14)( 12, 13)( 15, 16)( 19, 22)
( 20, 21)( 23, 24)( 27, 30)( 28, 29)( 31, 32)( 35, 38)( 36, 37)( 39, 40)
( 41, 81)( 42, 82)( 43, 86)( 44, 85)( 45, 84)( 46, 83)( 47, 88)( 48, 87)
( 49, 89)( 50, 90)( 51, 94)( 52, 93)( 53, 92)( 54, 91)( 55, 96)( 56, 95)
( 57, 97)( 58, 98)( 59,102)( 60,101)( 61,100)( 62, 99)( 63,104)( 64,103)
( 65,105)( 66,106)( 67,110)( 68,109)( 69,108)( 70,107)( 71,112)( 72,111)
( 73,113)( 74,114)( 75,118)( 76,117)( 77,116)( 78,115)( 79,120)( 80,119)
(121,122)(123,125)(124,126)(129,130)(131,133)(132,134)(137,138)(139,141)
(140,142)(145,146)(147,149)(148,150)(153,154)(155,157)(156,158)(161,202)
(162,201)(163,205)(164,206)(165,203)(166,204)(167,207)(168,208)(169,210)
(170,209)(171,213)(172,214)(173,211)(174,212)(175,215)(176,216)(177,218)
(178,217)(179,221)(180,222)(181,219)(182,220)(183,223)(184,224)(185,226)
(186,225)(187,229)(188,230)(189,227)(190,228)(191,231)(192,232)(193,234)
(194,233)(195,237)(196,238)(197,235)(198,236)(199,239)(200,240);
s1 := Sym(240)!(  1, 41)(  2, 42)(  3, 44)(  4, 43)(  5, 47)(  6, 48)(  7, 45)
(  8, 46)(  9, 73)( 10, 74)( 11, 76)( 12, 75)( 13, 79)( 14, 80)( 15, 77)
( 16, 78)( 17, 65)( 18, 66)( 19, 68)( 20, 67)( 21, 71)( 22, 72)( 23, 69)
( 24, 70)( 25, 57)( 26, 58)( 27, 60)( 28, 59)( 29, 63)( 30, 64)( 31, 61)
( 32, 62)( 33, 49)( 34, 50)( 35, 52)( 36, 51)( 37, 55)( 38, 56)( 39, 53)
( 40, 54)( 83, 84)( 85, 87)( 86, 88)( 89,113)( 90,114)( 91,116)( 92,115)
( 93,119)( 94,120)( 95,117)( 96,118)( 97,105)( 98,106)( 99,108)(100,107)
(101,111)(102,112)(103,109)(104,110)(121,161)(122,162)(123,164)(124,163)
(125,167)(126,168)(127,165)(128,166)(129,193)(130,194)(131,196)(132,195)
(133,199)(134,200)(135,197)(136,198)(137,185)(138,186)(139,188)(140,187)
(141,191)(142,192)(143,189)(144,190)(145,177)(146,178)(147,180)(148,179)
(149,183)(150,184)(151,181)(152,182)(153,169)(154,170)(155,172)(156,171)
(157,175)(158,176)(159,173)(160,174)(203,204)(205,207)(206,208)(209,233)
(210,234)(211,236)(212,235)(213,239)(214,240)(215,237)(216,238)(217,225)
(218,226)(219,228)(220,227)(221,231)(222,232)(223,229)(224,230);
s2 := Sym(240)!(  1,135)(  2,136)(  3,133)(  4,134)(  5,132)(  6,131)(  7,130)
(  8,129)(  9,127)( 10,128)( 11,125)( 12,126)( 13,124)( 14,123)( 15,122)
( 16,121)( 17,159)( 18,160)( 19,157)( 20,158)( 21,156)( 22,155)( 23,154)
( 24,153)( 25,151)( 26,152)( 27,149)( 28,150)( 29,148)( 30,147)( 31,146)
( 32,145)( 33,143)( 34,144)( 35,141)( 36,142)( 37,140)( 38,139)( 39,138)
( 40,137)( 41,175)( 42,176)( 43,173)( 44,174)( 45,172)( 46,171)( 47,170)
( 48,169)( 49,167)( 50,168)( 51,165)( 52,166)( 53,164)( 54,163)( 55,162)
( 56,161)( 57,199)( 58,200)( 59,197)( 60,198)( 61,196)( 62,195)( 63,194)
( 64,193)( 65,191)( 66,192)( 67,189)( 68,190)( 69,188)( 70,187)( 71,186)
( 72,185)( 73,183)( 74,184)( 75,181)( 76,182)( 77,180)( 78,179)( 79,178)
( 80,177)( 81,215)( 82,216)( 83,213)( 84,214)( 85,212)( 86,211)( 87,210)
( 88,209)( 89,207)( 90,208)( 91,205)( 92,206)( 93,204)( 94,203)( 95,202)
( 96,201)( 97,239)( 98,240)( 99,237)(100,238)(101,236)(102,235)(103,234)
(104,233)(105,231)(106,232)(107,229)(108,230)(109,228)(110,227)(111,226)
(112,225)(113,223)(114,224)(115,221)(116,222)(117,220)(118,219)(119,218)
(120,217);
poly := sub<Sym(240)|s0,s1,s2>;
 
Finitely Presented Group Representation (Magma) :
poly<s0,s1,s2> := Group< s0,s1,s2 | s0*s0, s1*s1, s2*s2, 
s0*s2*s0*s2, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1, 
s0*s1*s2*s1*s2*s1*s2*s1*s0*s1*s2*s1*s2*s1*s2*s1, 
s2*s0*s1*s2*s0*s1*s2*s1*s0*s1*s2*s0*s1*s2*s0*s1*s2*s1*s0*s1, 
s2*s1*s2*s1*s2*s1*s2*s1*s2*s0*s1*s2*s1*s0*s2*s1*s0*s2*s1*s2*s1*s0*s2*s1 >; 
 
References : None.
to this polytope