Polytope of Type {30,8}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {30,8}*1920j
if this polytope has a name.
Group : SmallGroup(1920,240269)
Rank : 3
Schlafli Type : {30,8}
Number of vertices, edges, etc : 120, 480, 32
Order of s0s1s2 : 30
Order of s0s1s2s1 : 8
Special Properties :
Compact Hyperbolic Quotient
Locally Spherical
Non-Orientable
Related Polytopes :
Facet
Vertex Figure
Dual
Facet Of :
None in this Atlas
Vertex Figure Of :
None in this Atlas
Quotients (Maximal Quotients in Boldface) :
2-fold quotients : {15,8}*960c, {30,4}*960d
3-fold quotients : {10,8}*640c
4-fold quotients : {15,4}*480
6-fold quotients : {5,8}*320b, {10,4}*320b
12-fold quotients : {5,4}*160
Covers (Minimal Covers in Boldface) :
None in this atlas.
Permutation Representation (GAP) :
s0 := ( 5, 8)( 6, 7)( 9, 10)( 11, 12)( 13, 15)( 14, 16)( 17, 28)( 18, 27)
( 19, 26)( 20, 25)( 21, 29)( 22, 30)( 23, 31)( 24, 32)( 33,129)( 34,130)
( 35,131)( 36,132)( 37,136)( 38,135)( 39,134)( 40,133)( 41,138)( 42,137)
( 43,140)( 44,139)( 45,143)( 46,144)( 47,141)( 48,142)( 49,156)( 50,155)
( 51,154)( 52,153)( 53,157)( 54,158)( 55,159)( 56,160)( 57,148)( 58,147)
( 59,146)( 60,145)( 61,149)( 62,150)( 63,151)( 64,152)( 65, 97)( 66, 98)
( 67, 99)( 68,100)( 69,104)( 70,103)( 71,102)( 72,101)( 73,106)( 74,105)
( 75,108)( 76,107)( 77,111)( 78,112)( 79,109)( 80,110)( 81,124)( 82,123)
( 83,122)( 84,121)( 85,125)( 86,126)( 87,127)( 88,128)( 89,116)( 90,115)
( 91,114)( 92,113)( 93,117)( 94,118)( 95,119)( 96,120)(161,321)(162,322)
(163,323)(164,324)(165,328)(166,327)(167,326)(168,325)(169,330)(170,329)
(171,332)(172,331)(173,335)(174,336)(175,333)(176,334)(177,348)(178,347)
(179,346)(180,345)(181,349)(182,350)(183,351)(184,352)(185,340)(186,339)
(187,338)(188,337)(189,341)(190,342)(191,343)(192,344)(193,449)(194,450)
(195,451)(196,452)(197,456)(198,455)(199,454)(200,453)(201,458)(202,457)
(203,460)(204,459)(205,463)(206,464)(207,461)(208,462)(209,476)(210,475)
(211,474)(212,473)(213,477)(214,478)(215,479)(216,480)(217,468)(218,467)
(219,466)(220,465)(221,469)(222,470)(223,471)(224,472)(225,417)(226,418)
(227,419)(228,420)(229,424)(230,423)(231,422)(232,421)(233,426)(234,425)
(235,428)(236,427)(237,431)(238,432)(239,429)(240,430)(241,444)(242,443)
(243,442)(244,441)(245,445)(246,446)(247,447)(248,448)(249,436)(250,435)
(251,434)(252,433)(253,437)(254,438)(255,439)(256,440)(257,385)(258,386)
(259,387)(260,388)(261,392)(262,391)(263,390)(264,389)(265,394)(266,393)
(267,396)(268,395)(269,399)(270,400)(271,397)(272,398)(273,412)(274,411)
(275,410)(276,409)(277,413)(278,414)(279,415)(280,416)(281,404)(282,403)
(283,402)(284,401)(285,405)(286,406)(287,407)(288,408)(289,353)(290,354)
(291,355)(292,356)(293,360)(294,359)(295,358)(296,357)(297,362)(298,361)
(299,364)(300,363)(301,367)(302,368)(303,365)(304,366)(305,380)(306,379)
(307,378)(308,377)(309,381)(310,382)(311,383)(312,384)(313,372)(314,371)
(315,370)(316,369)(317,373)(318,374)(319,375)(320,376)(485,488)(486,487)
(489,490)(491,492)(493,495)(494,496)(497,508)(498,507)(499,506)(500,505)
(501,509)(502,510)(503,511)(504,512)(513,609)(514,610)(515,611)(516,612)
(517,616)(518,615)(519,614)(520,613)(521,618)(522,617)(523,620)(524,619)
(525,623)(526,624)(527,621)(528,622)(529,636)(530,635)(531,634)(532,633)
(533,637)(534,638)(535,639)(536,640)(537,628)(538,627)(539,626)(540,625)
(541,629)(542,630)(543,631)(544,632)(545,577)(546,578)(547,579)(548,580)
(549,584)(550,583)(551,582)(552,581)(553,586)(554,585)(555,588)(556,587)
(557,591)(558,592)(559,589)(560,590)(561,604)(562,603)(563,602)(564,601)
(565,605)(566,606)(567,607)(568,608)(569,596)(570,595)(571,594)(572,593)
(573,597)(574,598)(575,599)(576,600)(641,801)(642,802)(643,803)(644,804)
(645,808)(646,807)(647,806)(648,805)(649,810)(650,809)(651,812)(652,811)
(653,815)(654,816)(655,813)(656,814)(657,828)(658,827)(659,826)(660,825)
(661,829)(662,830)(663,831)(664,832)(665,820)(666,819)(667,818)(668,817)
(669,821)(670,822)(671,823)(672,824)(673,929)(674,930)(675,931)(676,932)
(677,936)(678,935)(679,934)(680,933)(681,938)(682,937)(683,940)(684,939)
(685,943)(686,944)(687,941)(688,942)(689,956)(690,955)(691,954)(692,953)
(693,957)(694,958)(695,959)(696,960)(697,948)(698,947)(699,946)(700,945)
(701,949)(702,950)(703,951)(704,952)(705,897)(706,898)(707,899)(708,900)
(709,904)(710,903)(711,902)(712,901)(713,906)(714,905)(715,908)(716,907)
(717,911)(718,912)(719,909)(720,910)(721,924)(722,923)(723,922)(724,921)
(725,925)(726,926)(727,927)(728,928)(729,916)(730,915)(731,914)(732,913)
(733,917)(734,918)(735,919)(736,920)(737,865)(738,866)(739,867)(740,868)
(741,872)(742,871)(743,870)(744,869)(745,874)(746,873)(747,876)(748,875)
(749,879)(750,880)(751,877)(752,878)(753,892)(754,891)(755,890)(756,889)
(757,893)(758,894)(759,895)(760,896)(761,884)(762,883)(763,882)(764,881)
(765,885)(766,886)(767,887)(768,888)(769,833)(770,834)(771,835)(772,836)
(773,840)(774,839)(775,838)(776,837)(777,842)(778,841)(779,844)(780,843)
(781,847)(782,848)(783,845)(784,846)(785,860)(786,859)(787,858)(788,857)
(789,861)(790,862)(791,863)(792,864)(793,852)(794,851)(795,850)(796,849)
(797,853)(798,854)(799,855)(800,856);;
s1 := ( 1,673)( 2,674)( 3,704)( 4,703)( 5,684)( 6,683)( 7,693)( 8,694)
( 9,700)( 10,699)( 11,678)( 12,677)( 13,690)( 14,689)( 15,688)( 16,687)
( 17,686)( 18,685)( 19,691)( 20,692)( 21,679)( 22,680)( 23,698)( 24,697)
( 25,696)( 26,695)( 27,682)( 28,681)( 29,702)( 30,701)( 31,676)( 32,675)
( 33,641)( 34,642)( 35,672)( 36,671)( 37,652)( 38,651)( 39,661)( 40,662)
( 41,668)( 42,667)( 43,646)( 44,645)( 45,658)( 46,657)( 47,656)( 48,655)
( 49,654)( 50,653)( 51,659)( 52,660)( 53,647)( 54,648)( 55,666)( 56,665)
( 57,664)( 58,663)( 59,650)( 60,649)( 61,670)( 62,669)( 63,644)( 64,643)
( 65,769)( 66,770)( 67,800)( 68,799)( 69,780)( 70,779)( 71,789)( 72,790)
( 73,796)( 74,795)( 75,774)( 76,773)( 77,786)( 78,785)( 79,784)( 80,783)
( 81,782)( 82,781)( 83,787)( 84,788)( 85,775)( 86,776)( 87,794)( 88,793)
( 89,792)( 90,791)( 91,778)( 92,777)( 93,798)( 94,797)( 95,772)( 96,771)
( 97,737)( 98,738)( 99,768)(100,767)(101,748)(102,747)(103,757)(104,758)
(105,764)(106,763)(107,742)(108,741)(109,754)(110,753)(111,752)(112,751)
(113,750)(114,749)(115,755)(116,756)(117,743)(118,744)(119,762)(120,761)
(121,760)(122,759)(123,746)(124,745)(125,766)(126,765)(127,740)(128,739)
(129,705)(130,706)(131,736)(132,735)(133,716)(134,715)(135,725)(136,726)
(137,732)(138,731)(139,710)(140,709)(141,722)(142,721)(143,720)(144,719)
(145,718)(146,717)(147,723)(148,724)(149,711)(150,712)(151,730)(152,729)
(153,728)(154,727)(155,714)(156,713)(157,734)(158,733)(159,708)(160,707)
(161,513)(162,514)(163,544)(164,543)(165,524)(166,523)(167,533)(168,534)
(169,540)(170,539)(171,518)(172,517)(173,530)(174,529)(175,528)(176,527)
(177,526)(178,525)(179,531)(180,532)(181,519)(182,520)(183,538)(184,537)
(185,536)(186,535)(187,522)(188,521)(189,542)(190,541)(191,516)(192,515)
(193,481)(194,482)(195,512)(196,511)(197,492)(198,491)(199,501)(200,502)
(201,508)(202,507)(203,486)(204,485)(205,498)(206,497)(207,496)(208,495)
(209,494)(210,493)(211,499)(212,500)(213,487)(214,488)(215,506)(216,505)
(217,504)(218,503)(219,490)(220,489)(221,510)(222,509)(223,484)(224,483)
(225,609)(226,610)(227,640)(228,639)(229,620)(230,619)(231,629)(232,630)
(233,636)(234,635)(235,614)(236,613)(237,626)(238,625)(239,624)(240,623)
(241,622)(242,621)(243,627)(244,628)(245,615)(246,616)(247,634)(248,633)
(249,632)(250,631)(251,618)(252,617)(253,638)(254,637)(255,612)(256,611)
(257,577)(258,578)(259,608)(260,607)(261,588)(262,587)(263,597)(264,598)
(265,604)(266,603)(267,582)(268,581)(269,594)(270,593)(271,592)(272,591)
(273,590)(274,589)(275,595)(276,596)(277,583)(278,584)(279,602)(280,601)
(281,600)(282,599)(283,586)(284,585)(285,606)(286,605)(287,580)(288,579)
(289,545)(290,546)(291,576)(292,575)(293,556)(294,555)(295,565)(296,566)
(297,572)(298,571)(299,550)(300,549)(301,562)(302,561)(303,560)(304,559)
(305,558)(306,557)(307,563)(308,564)(309,551)(310,552)(311,570)(312,569)
(313,568)(314,567)(315,554)(316,553)(317,574)(318,573)(319,548)(320,547)
(321,833)(322,834)(323,864)(324,863)(325,844)(326,843)(327,853)(328,854)
(329,860)(330,859)(331,838)(332,837)(333,850)(334,849)(335,848)(336,847)
(337,846)(338,845)(339,851)(340,852)(341,839)(342,840)(343,858)(344,857)
(345,856)(346,855)(347,842)(348,841)(349,862)(350,861)(351,836)(352,835)
(353,801)(354,802)(355,832)(356,831)(357,812)(358,811)(359,821)(360,822)
(361,828)(362,827)(363,806)(364,805)(365,818)(366,817)(367,816)(368,815)
(369,814)(370,813)(371,819)(372,820)(373,807)(374,808)(375,826)(376,825)
(377,824)(378,823)(379,810)(380,809)(381,830)(382,829)(383,804)(384,803)
(385,929)(386,930)(387,960)(388,959)(389,940)(390,939)(391,949)(392,950)
(393,956)(394,955)(395,934)(396,933)(397,946)(398,945)(399,944)(400,943)
(401,942)(402,941)(403,947)(404,948)(405,935)(406,936)(407,954)(408,953)
(409,952)(410,951)(411,938)(412,937)(413,958)(414,957)(415,932)(416,931)
(417,897)(418,898)(419,928)(420,927)(421,908)(422,907)(423,917)(424,918)
(425,924)(426,923)(427,902)(428,901)(429,914)(430,913)(431,912)(432,911)
(433,910)(434,909)(435,915)(436,916)(437,903)(438,904)(439,922)(440,921)
(441,920)(442,919)(443,906)(444,905)(445,926)(446,925)(447,900)(448,899)
(449,865)(450,866)(451,896)(452,895)(453,876)(454,875)(455,885)(456,886)
(457,892)(458,891)(459,870)(460,869)(461,882)(462,881)(463,880)(464,879)
(465,878)(466,877)(467,883)(468,884)(469,871)(470,872)(471,890)(472,889)
(473,888)(474,887)(475,874)(476,873)(477,894)(478,893)(479,868)(480,867);;
s2 := ( 1,483)( 2,484)( 3,481)( 4,482)( 5,487)( 6,488)( 7,485)( 8,486)
( 9,491)( 10,492)( 11,489)( 12,490)( 13,495)( 14,496)( 15,493)( 16,494)
( 17,499)( 18,500)( 19,497)( 20,498)( 21,503)( 22,504)( 23,501)( 24,502)
( 25,507)( 26,508)( 27,505)( 28,506)( 29,511)( 30,512)( 31,509)( 32,510)
( 33,515)( 34,516)( 35,513)( 36,514)( 37,519)( 38,520)( 39,517)( 40,518)
( 41,523)( 42,524)( 43,521)( 44,522)( 45,527)( 46,528)( 47,525)( 48,526)
( 49,531)( 50,532)( 51,529)( 52,530)( 53,535)( 54,536)( 55,533)( 56,534)
( 57,539)( 58,540)( 59,537)( 60,538)( 61,543)( 62,544)( 63,541)( 64,542)
( 65,547)( 66,548)( 67,545)( 68,546)( 69,551)( 70,552)( 71,549)( 72,550)
( 73,555)( 74,556)( 75,553)( 76,554)( 77,559)( 78,560)( 79,557)( 80,558)
( 81,563)( 82,564)( 83,561)( 84,562)( 85,567)( 86,568)( 87,565)( 88,566)
( 89,571)( 90,572)( 91,569)( 92,570)( 93,575)( 94,576)( 95,573)( 96,574)
( 97,579)( 98,580)( 99,577)(100,578)(101,583)(102,584)(103,581)(104,582)
(105,587)(106,588)(107,585)(108,586)(109,591)(110,592)(111,589)(112,590)
(113,595)(114,596)(115,593)(116,594)(117,599)(118,600)(119,597)(120,598)
(121,603)(122,604)(123,601)(124,602)(125,607)(126,608)(127,605)(128,606)
(129,611)(130,612)(131,609)(132,610)(133,615)(134,616)(135,613)(136,614)
(137,619)(138,620)(139,617)(140,618)(141,623)(142,624)(143,621)(144,622)
(145,627)(146,628)(147,625)(148,626)(149,631)(150,632)(151,629)(152,630)
(153,635)(154,636)(155,633)(156,634)(157,639)(158,640)(159,637)(160,638)
(161,643)(162,644)(163,641)(164,642)(165,647)(166,648)(167,645)(168,646)
(169,651)(170,652)(171,649)(172,650)(173,655)(174,656)(175,653)(176,654)
(177,659)(178,660)(179,657)(180,658)(181,663)(182,664)(183,661)(184,662)
(185,667)(186,668)(187,665)(188,666)(189,671)(190,672)(191,669)(192,670)
(193,675)(194,676)(195,673)(196,674)(197,679)(198,680)(199,677)(200,678)
(201,683)(202,684)(203,681)(204,682)(205,687)(206,688)(207,685)(208,686)
(209,691)(210,692)(211,689)(212,690)(213,695)(214,696)(215,693)(216,694)
(217,699)(218,700)(219,697)(220,698)(221,703)(222,704)(223,701)(224,702)
(225,707)(226,708)(227,705)(228,706)(229,711)(230,712)(231,709)(232,710)
(233,715)(234,716)(235,713)(236,714)(237,719)(238,720)(239,717)(240,718)
(241,723)(242,724)(243,721)(244,722)(245,727)(246,728)(247,725)(248,726)
(249,731)(250,732)(251,729)(252,730)(253,735)(254,736)(255,733)(256,734)
(257,739)(258,740)(259,737)(260,738)(261,743)(262,744)(263,741)(264,742)
(265,747)(266,748)(267,745)(268,746)(269,751)(270,752)(271,749)(272,750)
(273,755)(274,756)(275,753)(276,754)(277,759)(278,760)(279,757)(280,758)
(281,763)(282,764)(283,761)(284,762)(285,767)(286,768)(287,765)(288,766)
(289,771)(290,772)(291,769)(292,770)(293,775)(294,776)(295,773)(296,774)
(297,779)(298,780)(299,777)(300,778)(301,783)(302,784)(303,781)(304,782)
(305,787)(306,788)(307,785)(308,786)(309,791)(310,792)(311,789)(312,790)
(313,795)(314,796)(315,793)(316,794)(317,799)(318,800)(319,797)(320,798)
(321,803)(322,804)(323,801)(324,802)(325,807)(326,808)(327,805)(328,806)
(329,811)(330,812)(331,809)(332,810)(333,815)(334,816)(335,813)(336,814)
(337,819)(338,820)(339,817)(340,818)(341,823)(342,824)(343,821)(344,822)
(345,827)(346,828)(347,825)(348,826)(349,831)(350,832)(351,829)(352,830)
(353,835)(354,836)(355,833)(356,834)(357,839)(358,840)(359,837)(360,838)
(361,843)(362,844)(363,841)(364,842)(365,847)(366,848)(367,845)(368,846)
(369,851)(370,852)(371,849)(372,850)(373,855)(374,856)(375,853)(376,854)
(377,859)(378,860)(379,857)(380,858)(381,863)(382,864)(383,861)(384,862)
(385,867)(386,868)(387,865)(388,866)(389,871)(390,872)(391,869)(392,870)
(393,875)(394,876)(395,873)(396,874)(397,879)(398,880)(399,877)(400,878)
(401,883)(402,884)(403,881)(404,882)(405,887)(406,888)(407,885)(408,886)
(409,891)(410,892)(411,889)(412,890)(413,895)(414,896)(415,893)(416,894)
(417,899)(418,900)(419,897)(420,898)(421,903)(422,904)(423,901)(424,902)
(425,907)(426,908)(427,905)(428,906)(429,911)(430,912)(431,909)(432,910)
(433,915)(434,916)(435,913)(436,914)(437,919)(438,920)(439,917)(440,918)
(441,923)(442,924)(443,921)(444,922)(445,927)(446,928)(447,925)(448,926)
(449,931)(450,932)(451,929)(452,930)(453,935)(454,936)(455,933)(456,934)
(457,939)(458,940)(459,937)(460,938)(461,943)(462,944)(463,941)(464,942)
(465,947)(466,948)(467,945)(468,946)(469,951)(470,952)(471,949)(472,950)
(473,955)(474,956)(475,953)(476,954)(477,959)(478,960)(479,957)(480,958);;
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*s2*s1*s2*s1*s2*s1*s0*s1*s2*s1*s2*s1*s2*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s1*s2*s1*s0*s1*s2*s1*s0*s1*s2*s1*s2*s0*s1*s2*s1*s0*s2,
s0*s1*s2*s1*s0*s1*s0*s1*s0*s1*s0*s1*s2*s1*s0*s1*s0*s1*s0*s1,
s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s2*s0*s1*s2*s0*s1*s2*s0*s1*s0*s1*s2*s0*s1*s0*s1*s0*s1*s0*s1*s2*s0 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(960)!( 5, 8)( 6, 7)( 9, 10)( 11, 12)( 13, 15)( 14, 16)( 17, 28)
( 18, 27)( 19, 26)( 20, 25)( 21, 29)( 22, 30)( 23, 31)( 24, 32)( 33,129)
( 34,130)( 35,131)( 36,132)( 37,136)( 38,135)( 39,134)( 40,133)( 41,138)
( 42,137)( 43,140)( 44,139)( 45,143)( 46,144)( 47,141)( 48,142)( 49,156)
( 50,155)( 51,154)( 52,153)( 53,157)( 54,158)( 55,159)( 56,160)( 57,148)
( 58,147)( 59,146)( 60,145)( 61,149)( 62,150)( 63,151)( 64,152)( 65, 97)
( 66, 98)( 67, 99)( 68,100)( 69,104)( 70,103)( 71,102)( 72,101)( 73,106)
( 74,105)( 75,108)( 76,107)( 77,111)( 78,112)( 79,109)( 80,110)( 81,124)
( 82,123)( 83,122)( 84,121)( 85,125)( 86,126)( 87,127)( 88,128)( 89,116)
( 90,115)( 91,114)( 92,113)( 93,117)( 94,118)( 95,119)( 96,120)(161,321)
(162,322)(163,323)(164,324)(165,328)(166,327)(167,326)(168,325)(169,330)
(170,329)(171,332)(172,331)(173,335)(174,336)(175,333)(176,334)(177,348)
(178,347)(179,346)(180,345)(181,349)(182,350)(183,351)(184,352)(185,340)
(186,339)(187,338)(188,337)(189,341)(190,342)(191,343)(192,344)(193,449)
(194,450)(195,451)(196,452)(197,456)(198,455)(199,454)(200,453)(201,458)
(202,457)(203,460)(204,459)(205,463)(206,464)(207,461)(208,462)(209,476)
(210,475)(211,474)(212,473)(213,477)(214,478)(215,479)(216,480)(217,468)
(218,467)(219,466)(220,465)(221,469)(222,470)(223,471)(224,472)(225,417)
(226,418)(227,419)(228,420)(229,424)(230,423)(231,422)(232,421)(233,426)
(234,425)(235,428)(236,427)(237,431)(238,432)(239,429)(240,430)(241,444)
(242,443)(243,442)(244,441)(245,445)(246,446)(247,447)(248,448)(249,436)
(250,435)(251,434)(252,433)(253,437)(254,438)(255,439)(256,440)(257,385)
(258,386)(259,387)(260,388)(261,392)(262,391)(263,390)(264,389)(265,394)
(266,393)(267,396)(268,395)(269,399)(270,400)(271,397)(272,398)(273,412)
(274,411)(275,410)(276,409)(277,413)(278,414)(279,415)(280,416)(281,404)
(282,403)(283,402)(284,401)(285,405)(286,406)(287,407)(288,408)(289,353)
(290,354)(291,355)(292,356)(293,360)(294,359)(295,358)(296,357)(297,362)
(298,361)(299,364)(300,363)(301,367)(302,368)(303,365)(304,366)(305,380)
(306,379)(307,378)(308,377)(309,381)(310,382)(311,383)(312,384)(313,372)
(314,371)(315,370)(316,369)(317,373)(318,374)(319,375)(320,376)(485,488)
(486,487)(489,490)(491,492)(493,495)(494,496)(497,508)(498,507)(499,506)
(500,505)(501,509)(502,510)(503,511)(504,512)(513,609)(514,610)(515,611)
(516,612)(517,616)(518,615)(519,614)(520,613)(521,618)(522,617)(523,620)
(524,619)(525,623)(526,624)(527,621)(528,622)(529,636)(530,635)(531,634)
(532,633)(533,637)(534,638)(535,639)(536,640)(537,628)(538,627)(539,626)
(540,625)(541,629)(542,630)(543,631)(544,632)(545,577)(546,578)(547,579)
(548,580)(549,584)(550,583)(551,582)(552,581)(553,586)(554,585)(555,588)
(556,587)(557,591)(558,592)(559,589)(560,590)(561,604)(562,603)(563,602)
(564,601)(565,605)(566,606)(567,607)(568,608)(569,596)(570,595)(571,594)
(572,593)(573,597)(574,598)(575,599)(576,600)(641,801)(642,802)(643,803)
(644,804)(645,808)(646,807)(647,806)(648,805)(649,810)(650,809)(651,812)
(652,811)(653,815)(654,816)(655,813)(656,814)(657,828)(658,827)(659,826)
(660,825)(661,829)(662,830)(663,831)(664,832)(665,820)(666,819)(667,818)
(668,817)(669,821)(670,822)(671,823)(672,824)(673,929)(674,930)(675,931)
(676,932)(677,936)(678,935)(679,934)(680,933)(681,938)(682,937)(683,940)
(684,939)(685,943)(686,944)(687,941)(688,942)(689,956)(690,955)(691,954)
(692,953)(693,957)(694,958)(695,959)(696,960)(697,948)(698,947)(699,946)
(700,945)(701,949)(702,950)(703,951)(704,952)(705,897)(706,898)(707,899)
(708,900)(709,904)(710,903)(711,902)(712,901)(713,906)(714,905)(715,908)
(716,907)(717,911)(718,912)(719,909)(720,910)(721,924)(722,923)(723,922)
(724,921)(725,925)(726,926)(727,927)(728,928)(729,916)(730,915)(731,914)
(732,913)(733,917)(734,918)(735,919)(736,920)(737,865)(738,866)(739,867)
(740,868)(741,872)(742,871)(743,870)(744,869)(745,874)(746,873)(747,876)
(748,875)(749,879)(750,880)(751,877)(752,878)(753,892)(754,891)(755,890)
(756,889)(757,893)(758,894)(759,895)(760,896)(761,884)(762,883)(763,882)
(764,881)(765,885)(766,886)(767,887)(768,888)(769,833)(770,834)(771,835)
(772,836)(773,840)(774,839)(775,838)(776,837)(777,842)(778,841)(779,844)
(780,843)(781,847)(782,848)(783,845)(784,846)(785,860)(786,859)(787,858)
(788,857)(789,861)(790,862)(791,863)(792,864)(793,852)(794,851)(795,850)
(796,849)(797,853)(798,854)(799,855)(800,856);
s1 := Sym(960)!( 1,673)( 2,674)( 3,704)( 4,703)( 5,684)( 6,683)( 7,693)
( 8,694)( 9,700)( 10,699)( 11,678)( 12,677)( 13,690)( 14,689)( 15,688)
( 16,687)( 17,686)( 18,685)( 19,691)( 20,692)( 21,679)( 22,680)( 23,698)
( 24,697)( 25,696)( 26,695)( 27,682)( 28,681)( 29,702)( 30,701)( 31,676)
( 32,675)( 33,641)( 34,642)( 35,672)( 36,671)( 37,652)( 38,651)( 39,661)
( 40,662)( 41,668)( 42,667)( 43,646)( 44,645)( 45,658)( 46,657)( 47,656)
( 48,655)( 49,654)( 50,653)( 51,659)( 52,660)( 53,647)( 54,648)( 55,666)
( 56,665)( 57,664)( 58,663)( 59,650)( 60,649)( 61,670)( 62,669)( 63,644)
( 64,643)( 65,769)( 66,770)( 67,800)( 68,799)( 69,780)( 70,779)( 71,789)
( 72,790)( 73,796)( 74,795)( 75,774)( 76,773)( 77,786)( 78,785)( 79,784)
( 80,783)( 81,782)( 82,781)( 83,787)( 84,788)( 85,775)( 86,776)( 87,794)
( 88,793)( 89,792)( 90,791)( 91,778)( 92,777)( 93,798)( 94,797)( 95,772)
( 96,771)( 97,737)( 98,738)( 99,768)(100,767)(101,748)(102,747)(103,757)
(104,758)(105,764)(106,763)(107,742)(108,741)(109,754)(110,753)(111,752)
(112,751)(113,750)(114,749)(115,755)(116,756)(117,743)(118,744)(119,762)
(120,761)(121,760)(122,759)(123,746)(124,745)(125,766)(126,765)(127,740)
(128,739)(129,705)(130,706)(131,736)(132,735)(133,716)(134,715)(135,725)
(136,726)(137,732)(138,731)(139,710)(140,709)(141,722)(142,721)(143,720)
(144,719)(145,718)(146,717)(147,723)(148,724)(149,711)(150,712)(151,730)
(152,729)(153,728)(154,727)(155,714)(156,713)(157,734)(158,733)(159,708)
(160,707)(161,513)(162,514)(163,544)(164,543)(165,524)(166,523)(167,533)
(168,534)(169,540)(170,539)(171,518)(172,517)(173,530)(174,529)(175,528)
(176,527)(177,526)(178,525)(179,531)(180,532)(181,519)(182,520)(183,538)
(184,537)(185,536)(186,535)(187,522)(188,521)(189,542)(190,541)(191,516)
(192,515)(193,481)(194,482)(195,512)(196,511)(197,492)(198,491)(199,501)
(200,502)(201,508)(202,507)(203,486)(204,485)(205,498)(206,497)(207,496)
(208,495)(209,494)(210,493)(211,499)(212,500)(213,487)(214,488)(215,506)
(216,505)(217,504)(218,503)(219,490)(220,489)(221,510)(222,509)(223,484)
(224,483)(225,609)(226,610)(227,640)(228,639)(229,620)(230,619)(231,629)
(232,630)(233,636)(234,635)(235,614)(236,613)(237,626)(238,625)(239,624)
(240,623)(241,622)(242,621)(243,627)(244,628)(245,615)(246,616)(247,634)
(248,633)(249,632)(250,631)(251,618)(252,617)(253,638)(254,637)(255,612)
(256,611)(257,577)(258,578)(259,608)(260,607)(261,588)(262,587)(263,597)
(264,598)(265,604)(266,603)(267,582)(268,581)(269,594)(270,593)(271,592)
(272,591)(273,590)(274,589)(275,595)(276,596)(277,583)(278,584)(279,602)
(280,601)(281,600)(282,599)(283,586)(284,585)(285,606)(286,605)(287,580)
(288,579)(289,545)(290,546)(291,576)(292,575)(293,556)(294,555)(295,565)
(296,566)(297,572)(298,571)(299,550)(300,549)(301,562)(302,561)(303,560)
(304,559)(305,558)(306,557)(307,563)(308,564)(309,551)(310,552)(311,570)
(312,569)(313,568)(314,567)(315,554)(316,553)(317,574)(318,573)(319,548)
(320,547)(321,833)(322,834)(323,864)(324,863)(325,844)(326,843)(327,853)
(328,854)(329,860)(330,859)(331,838)(332,837)(333,850)(334,849)(335,848)
(336,847)(337,846)(338,845)(339,851)(340,852)(341,839)(342,840)(343,858)
(344,857)(345,856)(346,855)(347,842)(348,841)(349,862)(350,861)(351,836)
(352,835)(353,801)(354,802)(355,832)(356,831)(357,812)(358,811)(359,821)
(360,822)(361,828)(362,827)(363,806)(364,805)(365,818)(366,817)(367,816)
(368,815)(369,814)(370,813)(371,819)(372,820)(373,807)(374,808)(375,826)
(376,825)(377,824)(378,823)(379,810)(380,809)(381,830)(382,829)(383,804)
(384,803)(385,929)(386,930)(387,960)(388,959)(389,940)(390,939)(391,949)
(392,950)(393,956)(394,955)(395,934)(396,933)(397,946)(398,945)(399,944)
(400,943)(401,942)(402,941)(403,947)(404,948)(405,935)(406,936)(407,954)
(408,953)(409,952)(410,951)(411,938)(412,937)(413,958)(414,957)(415,932)
(416,931)(417,897)(418,898)(419,928)(420,927)(421,908)(422,907)(423,917)
(424,918)(425,924)(426,923)(427,902)(428,901)(429,914)(430,913)(431,912)
(432,911)(433,910)(434,909)(435,915)(436,916)(437,903)(438,904)(439,922)
(440,921)(441,920)(442,919)(443,906)(444,905)(445,926)(446,925)(447,900)
(448,899)(449,865)(450,866)(451,896)(452,895)(453,876)(454,875)(455,885)
(456,886)(457,892)(458,891)(459,870)(460,869)(461,882)(462,881)(463,880)
(464,879)(465,878)(466,877)(467,883)(468,884)(469,871)(470,872)(471,890)
(472,889)(473,888)(474,887)(475,874)(476,873)(477,894)(478,893)(479,868)
(480,867);
s2 := Sym(960)!( 1,483)( 2,484)( 3,481)( 4,482)( 5,487)( 6,488)( 7,485)
( 8,486)( 9,491)( 10,492)( 11,489)( 12,490)( 13,495)( 14,496)( 15,493)
( 16,494)( 17,499)( 18,500)( 19,497)( 20,498)( 21,503)( 22,504)( 23,501)
( 24,502)( 25,507)( 26,508)( 27,505)( 28,506)( 29,511)( 30,512)( 31,509)
( 32,510)( 33,515)( 34,516)( 35,513)( 36,514)( 37,519)( 38,520)( 39,517)
( 40,518)( 41,523)( 42,524)( 43,521)( 44,522)( 45,527)( 46,528)( 47,525)
( 48,526)( 49,531)( 50,532)( 51,529)( 52,530)( 53,535)( 54,536)( 55,533)
( 56,534)( 57,539)( 58,540)( 59,537)( 60,538)( 61,543)( 62,544)( 63,541)
( 64,542)( 65,547)( 66,548)( 67,545)( 68,546)( 69,551)( 70,552)( 71,549)
( 72,550)( 73,555)( 74,556)( 75,553)( 76,554)( 77,559)( 78,560)( 79,557)
( 80,558)( 81,563)( 82,564)( 83,561)( 84,562)( 85,567)( 86,568)( 87,565)
( 88,566)( 89,571)( 90,572)( 91,569)( 92,570)( 93,575)( 94,576)( 95,573)
( 96,574)( 97,579)( 98,580)( 99,577)(100,578)(101,583)(102,584)(103,581)
(104,582)(105,587)(106,588)(107,585)(108,586)(109,591)(110,592)(111,589)
(112,590)(113,595)(114,596)(115,593)(116,594)(117,599)(118,600)(119,597)
(120,598)(121,603)(122,604)(123,601)(124,602)(125,607)(126,608)(127,605)
(128,606)(129,611)(130,612)(131,609)(132,610)(133,615)(134,616)(135,613)
(136,614)(137,619)(138,620)(139,617)(140,618)(141,623)(142,624)(143,621)
(144,622)(145,627)(146,628)(147,625)(148,626)(149,631)(150,632)(151,629)
(152,630)(153,635)(154,636)(155,633)(156,634)(157,639)(158,640)(159,637)
(160,638)(161,643)(162,644)(163,641)(164,642)(165,647)(166,648)(167,645)
(168,646)(169,651)(170,652)(171,649)(172,650)(173,655)(174,656)(175,653)
(176,654)(177,659)(178,660)(179,657)(180,658)(181,663)(182,664)(183,661)
(184,662)(185,667)(186,668)(187,665)(188,666)(189,671)(190,672)(191,669)
(192,670)(193,675)(194,676)(195,673)(196,674)(197,679)(198,680)(199,677)
(200,678)(201,683)(202,684)(203,681)(204,682)(205,687)(206,688)(207,685)
(208,686)(209,691)(210,692)(211,689)(212,690)(213,695)(214,696)(215,693)
(216,694)(217,699)(218,700)(219,697)(220,698)(221,703)(222,704)(223,701)
(224,702)(225,707)(226,708)(227,705)(228,706)(229,711)(230,712)(231,709)
(232,710)(233,715)(234,716)(235,713)(236,714)(237,719)(238,720)(239,717)
(240,718)(241,723)(242,724)(243,721)(244,722)(245,727)(246,728)(247,725)
(248,726)(249,731)(250,732)(251,729)(252,730)(253,735)(254,736)(255,733)
(256,734)(257,739)(258,740)(259,737)(260,738)(261,743)(262,744)(263,741)
(264,742)(265,747)(266,748)(267,745)(268,746)(269,751)(270,752)(271,749)
(272,750)(273,755)(274,756)(275,753)(276,754)(277,759)(278,760)(279,757)
(280,758)(281,763)(282,764)(283,761)(284,762)(285,767)(286,768)(287,765)
(288,766)(289,771)(290,772)(291,769)(292,770)(293,775)(294,776)(295,773)
(296,774)(297,779)(298,780)(299,777)(300,778)(301,783)(302,784)(303,781)
(304,782)(305,787)(306,788)(307,785)(308,786)(309,791)(310,792)(311,789)
(312,790)(313,795)(314,796)(315,793)(316,794)(317,799)(318,800)(319,797)
(320,798)(321,803)(322,804)(323,801)(324,802)(325,807)(326,808)(327,805)
(328,806)(329,811)(330,812)(331,809)(332,810)(333,815)(334,816)(335,813)
(336,814)(337,819)(338,820)(339,817)(340,818)(341,823)(342,824)(343,821)
(344,822)(345,827)(346,828)(347,825)(348,826)(349,831)(350,832)(351,829)
(352,830)(353,835)(354,836)(355,833)(356,834)(357,839)(358,840)(359,837)
(360,838)(361,843)(362,844)(363,841)(364,842)(365,847)(366,848)(367,845)
(368,846)(369,851)(370,852)(371,849)(372,850)(373,855)(374,856)(375,853)
(376,854)(377,859)(378,860)(379,857)(380,858)(381,863)(382,864)(383,861)
(384,862)(385,867)(386,868)(387,865)(388,866)(389,871)(390,872)(391,869)
(392,870)(393,875)(394,876)(395,873)(396,874)(397,879)(398,880)(399,877)
(400,878)(401,883)(402,884)(403,881)(404,882)(405,887)(406,888)(407,885)
(408,886)(409,891)(410,892)(411,889)(412,890)(413,895)(414,896)(415,893)
(416,894)(417,899)(418,900)(419,897)(420,898)(421,903)(422,904)(423,901)
(424,902)(425,907)(426,908)(427,905)(428,906)(429,911)(430,912)(431,909)
(432,910)(433,915)(434,916)(435,913)(436,914)(437,919)(438,920)(439,917)
(440,918)(441,923)(442,924)(443,921)(444,922)(445,927)(446,928)(447,925)
(448,926)(449,931)(450,932)(451,929)(452,930)(453,935)(454,936)(455,933)
(456,934)(457,939)(458,940)(459,937)(460,938)(461,943)(462,944)(463,941)
(464,942)(465,947)(466,948)(467,945)(468,946)(469,951)(470,952)(471,949)
(472,950)(473,955)(474,956)(475,953)(476,954)(477,959)(478,960)(479,957)
(480,958);
poly := sub<Sym(960)|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*s2*s1*s2*s1*s2*s1*s0*s1*s2*s1*s2*s1*s2*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s1*s2*s1*s0*s1*s2*s1*s0*s1*s2*s1*s2*s0*s1*s2*s1*s0*s2,
s0*s1*s2*s1*s0*s1*s0*s1*s0*s1*s0*s1*s2*s1*s0*s1*s0*s1*s0*s1,
s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s2*s0*s1*s2*s0*s1*s2*s0*s1*s0*s1*s2*s0*s1*s0*s1*s0*s1*s0*s1*s2*s0 >;
References : None.
to this polytope