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