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