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