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