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