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