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