Polytope of Type {2,8,5}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,8,5}*1280a
if this polytope has a name.
Group : SmallGroup(1280,1116450)
Rank : 4
Schlafli Type : {2,8,5}
Number of vertices, edges, etc : 2, 64, 160, 40
Order of s0s1s2s3 : 10
Order of s0s1s2s3s2s1 : 2
Special Properties :
Degenerate
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,8,5}*640a, {2,8,5}*640b, {2,4,5}*640
4-fold quotients : {2,4,5}*320
32-fold quotients : {2,2,5}*40
Covers (Minimal Covers in Boldface) :
None in this atlas.
Permutation Representation (GAP) :
s0 := (1,2);;
s1 := ( 3,165)( 4,166)( 5,163)( 6,164)( 7,169)( 8,170)( 9,167)( 10,168)( 11,173)( 12,174)( 13,171)( 14,172)( 15,177)( 16,178)( 17,175)( 18,176)( 19,181)( 20,182)( 21,179)( 22,180)( 23,185)( 24,186)( 25,183)( 26,184)( 27,189)( 28,190)( 29,187)( 30,188)( 31,193)( 32,194)( 33,191)( 34,192)( 35,197)( 36,198)( 37,195)( 38,196)( 39,201)( 40,202)( 41,199)( 42,200)( 43,205)( 44,206)( 45,203)( 46,204)( 47,209)( 48,210)( 49,207)( 50,208)( 51,213)( 52,214)( 53,211)( 54,212)( 55,217)( 56,218)( 57,215)( 58,216)( 59,221)( 60,222)( 61,219)( 62,220)( 63,225)( 64,226)( 65,223)( 66,224)( 67,229)( 68,230)( 69,227)( 70,228)( 71,233)( 72,234)( 73,231)( 74,232)( 75,237)( 76,238)( 77,235)( 78,236)( 79,241)( 80,242)( 81,239)( 82,240)( 83,245)( 84,246)( 85,243)( 86,244)( 87,249)( 88,250)( 89,247)( 90,248)( 91,253)( 92,254)( 93,251)( 94,252)( 95,257)( 96,258)( 97,255)( 98,256)( 99,261)(100,262)(101,259)(102,260)(103,265)(104,266)(105,263)(106,264)(107,269)(108,270)(109,267)(110,268)(111,273)(112,274)(113,271)(114,272)(115,277)(116,278)(117,275)(118,276)(119,281)(120,282)(121,279)(122,280)(123,285)(124,286)(125,283)(126,284)(127,289)(128,290)(129,287)(130,288)(131,293)(132,294)(133,291)(134,292)(135,297)(136,298)(137,295)(138,296)(139,301)(140,302)(141,299)(142,300)(143,305)(144,306)(145,303)(146,304)(147,309)(148,310)(149,307)(150,308)(151,313)(152,314)(153,311)(154,312)(155,317)(156,318)(157,315)(158,316)(159,321)(160,322)(161,319)(162,320);;
s2 := ( 5, 30)( 6, 29)( 7, 17)( 8, 18)( 9, 23)( 10, 24)( 11, 20)( 12, 19)( 13, 14)( 15, 34)( 16, 33)( 25, 31)( 26, 32)( 27, 28)( 35,131)( 36,132)( 37,158)( 38,157)( 39,145)( 40,146)( 41,151)( 42,152)( 43,148)( 44,147)( 45,142)( 46,141)( 47,162)( 48,161)( 49,135)( 50,136)( 51,140)( 52,139)( 53,149)( 54,150)( 55,137)( 56,138)( 57,159)( 58,160)( 59,156)( 60,155)( 61,134)( 62,133)( 63,153)( 64,154)( 65,144)( 66,143)( 67, 99)( 68,100)( 69,126)( 70,125)( 71,113)( 72,114)( 73,119)( 74,120)( 75,116)( 76,115)( 77,110)( 78,109)( 79,130)( 80,129)( 81,103)( 82,104)( 83,108)( 84,107)( 85,117)( 86,118)( 87,105)( 88,106)( 89,127)( 90,128)( 91,124)( 92,123)( 93,102)( 94,101)( 95,121)( 96,122)( 97,112)( 98,111)(165,190)(166,189)(167,177)(168,178)(169,183)(170,184)(171,180)(172,179)(173,174)(175,194)(176,193)(185,191)(186,192)(187,188)(195,291)(196,292)(197,318)(198,317)(199,305)(200,306)(201,311)(202,312)(203,308)(204,307)(205,302)(206,301)(207,322)(208,321)(209,295)(210,296)(211,300)(212,299)(213,309)(214,310)(215,297)(216,298)(217,319)(218,320)(219,316)(220,315)(221,294)(222,293)(223,313)(224,314)(225,304)(226,303)(227,259)(228,260)(229,286)(230,285)(231,273)(232,274)(233,279)(234,280)(235,276)(236,275)(237,270)(238,269)(239,290)(240,289)(241,263)(242,264)(243,268)(244,267)(245,277)(246,278)(247,265)(248,266)(249,287)(250,288)(251,284)(252,283)(253,262)(254,261)(255,281)(256,282)(257,272)(258,271);;
s3 := ( 3, 99)( 4,100)( 5,101)( 6,102)( 7,106)( 8,105)( 9,104)( 10,103)( 11,109)( 12,110)( 13,107)( 14,108)( 15,112)( 16,111)( 17,114)( 18,113)( 19,130)( 20,129)( 21,128)( 22,127)( 23,124)( 24,123)( 25,126)( 26,125)( 27,120)( 28,119)( 29,122)( 30,121)( 31,118)( 32,117)( 33,116)( 34,115)( 35, 67)( 36, 68)( 37, 69)( 38, 70)( 39, 74)( 40, 73)( 41, 72)( 42, 71)( 43, 77)( 44, 78)( 45, 75)( 46, 76)( 47, 80)( 48, 79)( 49, 82)( 50, 81)( 51, 98)( 52, 97)( 53, 96)( 54, 95)( 55, 92)( 56, 91)( 57, 94)( 58, 93)( 59, 88)( 60, 87)( 61, 90)( 62, 89)( 63, 86)( 64, 85)( 65, 84)( 66, 83)(135,138)(136,137)(139,141)(140,142)(143,144)(145,146)(147,162)(148,161)(149,160)(150,159)(151,156)(152,155)(153,158)(154,157)(163,259)(164,260)(165,261)(166,262)(167,266)(168,265)(169,264)(170,263)(171,269)(172,270)(173,267)(174,268)(175,272)(176,271)(177,274)(178,273)(179,290)(180,289)(181,288)(182,287)(183,284)(184,283)(185,286)(186,285)(187,280)(188,279)(189,282)(190,281)(191,278)(192,277)(193,276)(194,275)(195,227)(196,228)(197,229)(198,230)(199,234)(200,233)(201,232)(202,231)(203,237)(204,238)(205,235)(206,236)(207,240)(208,239)(209,242)(210,241)(211,258)(212,257)(213,256)(214,255)(215,252)(216,251)(217,254)(218,253)(219,248)(220,247)(221,250)(222,249)(223,246)(224,245)(225,244)(226,243)(295,298)(296,297)(299,301)(300,302)(303,304)(305,306)(307,322)(308,321)(309,320)(310,319)(311,316)(312,315)(313,318)(314,317);;
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*s1*s0*s1,
s0*s2*s0*s2, s0*s3*s0*s3, s1*s3*s1*s3,
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3, s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s1*s2*s1*s2*s1*s2*s3*s2*s1*s2*s1*s2*s1*s2*s3*s2,
s2*s1*s2*s1*s3*s2*s1*s2*s3*s2*s1*s2*s3*s2*s1*s2*s1*s3 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(322)!(1,2);
s1 := Sym(322)!( 3,165)( 4,166)( 5,163)( 6,164)( 7,169)( 8,170)( 9,167)( 10,168)( 11,173)( 12,174)( 13,171)( 14,172)( 15,177)( 16,178)( 17,175)( 18,176)( 19,181)( 20,182)( 21,179)( 22,180)( 23,185)( 24,186)( 25,183)( 26,184)( 27,189)( 28,190)( 29,187)( 30,188)( 31,193)( 32,194)( 33,191)( 34,192)( 35,197)( 36,198)( 37,195)( 38,196)( 39,201)( 40,202)( 41,199)( 42,200)( 43,205)( 44,206)( 45,203)( 46,204)( 47,209)( 48,210)( 49,207)( 50,208)( 51,213)( 52,214)( 53,211)( 54,212)( 55,217)( 56,218)( 57,215)( 58,216)( 59,221)( 60,222)( 61,219)( 62,220)( 63,225)( 64,226)( 65,223)( 66,224)( 67,229)( 68,230)( 69,227)( 70,228)( 71,233)( 72,234)( 73,231)( 74,232)( 75,237)( 76,238)( 77,235)( 78,236)( 79,241)( 80,242)( 81,239)( 82,240)( 83,245)( 84,246)( 85,243)( 86,244)( 87,249)( 88,250)( 89,247)( 90,248)( 91,253)( 92,254)( 93,251)( 94,252)( 95,257)( 96,258)( 97,255)( 98,256)( 99,261)(100,262)(101,259)(102,260)(103,265)(104,266)(105,263)(106,264)(107,269)(108,270)(109,267)(110,268)(111,273)(112,274)(113,271)(114,272)(115,277)(116,278)(117,275)(118,276)(119,281)(120,282)(121,279)(122,280)(123,285)(124,286)(125,283)(126,284)(127,289)(128,290)(129,287)(130,288)(131,293)(132,294)(133,291)(134,292)(135,297)(136,298)(137,295)(138,296)(139,301)(140,302)(141,299)(142,300)(143,305)(144,306)(145,303)(146,304)(147,309)(148,310)(149,307)(150,308)(151,313)(152,314)(153,311)(154,312)(155,317)(156,318)(157,315)(158,316)(159,321)(160,322)(161,319)(162,320);
s2 := Sym(322)!( 5, 30)( 6, 29)( 7, 17)( 8, 18)( 9, 23)( 10, 24)( 11, 20)( 12, 19)( 13, 14)( 15, 34)( 16, 33)( 25, 31)( 26, 32)( 27, 28)( 35,131)( 36,132)( 37,158)( 38,157)( 39,145)( 40,146)( 41,151)( 42,152)( 43,148)( 44,147)( 45,142)( 46,141)( 47,162)( 48,161)( 49,135)( 50,136)( 51,140)( 52,139)( 53,149)( 54,150)( 55,137)( 56,138)( 57,159)( 58,160)( 59,156)( 60,155)( 61,134)( 62,133)( 63,153)( 64,154)( 65,144)( 66,143)( 67, 99)( 68,100)( 69,126)( 70,125)( 71,113)( 72,114)( 73,119)( 74,120)( 75,116)( 76,115)( 77,110)( 78,109)( 79,130)( 80,129)( 81,103)( 82,104)( 83,108)( 84,107)( 85,117)( 86,118)( 87,105)( 88,106)( 89,127)( 90,128)( 91,124)( 92,123)( 93,102)( 94,101)( 95,121)( 96,122)( 97,112)( 98,111)(165,190)(166,189)(167,177)(168,178)(169,183)(170,184)(171,180)(172,179)(173,174)(175,194)(176,193)(185,191)(186,192)(187,188)(195,291)(196,292)(197,318)(198,317)(199,305)(200,306)(201,311)(202,312)(203,308)(204,307)(205,302)(206,301)(207,322)(208,321)(209,295)(210,296)(211,300)(212,299)(213,309)(214,310)(215,297)(216,298)(217,319)(218,320)(219,316)(220,315)(221,294)(222,293)(223,313)(224,314)(225,304)(226,303)(227,259)(228,260)(229,286)(230,285)(231,273)(232,274)(233,279)(234,280)(235,276)(236,275)(237,270)(238,269)(239,290)(240,289)(241,263)(242,264)(243,268)(244,267)(245,277)(246,278)(247,265)(248,266)(249,287)(250,288)(251,284)(252,283)(253,262)(254,261)(255,281)(256,282)(257,272)(258,271);
s3 := Sym(322)!( 3, 99)( 4,100)( 5,101)( 6,102)( 7,106)( 8,105)( 9,104)( 10,103)( 11,109)( 12,110)( 13,107)( 14,108)( 15,112)( 16,111)( 17,114)( 18,113)( 19,130)( 20,129)( 21,128)( 22,127)( 23,124)( 24,123)( 25,126)( 26,125)( 27,120)( 28,119)( 29,122)( 30,121)( 31,118)( 32,117)( 33,116)( 34,115)( 35, 67)( 36, 68)( 37, 69)( 38, 70)( 39, 74)( 40, 73)( 41, 72)( 42, 71)( 43, 77)( 44, 78)( 45, 75)( 46, 76)( 47, 80)( 48, 79)( 49, 82)( 50, 81)( 51, 98)( 52, 97)( 53, 96)( 54, 95)( 55, 92)( 56, 91)( 57, 94)( 58, 93)( 59, 88)( 60, 87)( 61, 90)( 62, 89)( 63, 86)( 64, 85)( 65, 84)( 66, 83)(135,138)(136,137)(139,141)(140,142)(143,144)(145,146)(147,162)(148,161)(149,160)(150,159)(151,156)(152,155)(153,158)(154,157)(163,259)(164,260)(165,261)(166,262)(167,266)(168,265)(169,264)(170,263)(171,269)(172,270)(173,267)(174,268)(175,272)(176,271)(177,274)(178,273)(179,290)(180,289)(181,288)(182,287)(183,284)(184,283)(185,286)(186,285)(187,280)(188,279)(189,282)(190,281)(191,278)(192,277)(193,276)(194,275)(195,227)(196,228)(197,229)(198,230)(199,234)(200,233)(201,232)(202,231)(203,237)(204,238)(205,235)(206,236)(207,240)(208,239)(209,242)(210,241)(211,258)(212,257)(213,256)(214,255)(215,252)(216,251)(217,254)(218,253)(219,248)(220,247)(221,250)(222,249)(223,246)(224,245)(225,244)(226,243)(295,298)(296,297)(299,301)(300,302)(303,304)(305,306)(307,322)(308,321)(309,320)(310,319)(311,316)(312,315)(313,318)(314,317);
poly := sub<Sym(322)|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*s1*s0*s1, s0*s2*s0*s2, s0*s3*s0*s3,
s1*s3*s1*s3, s2*s3*s2*s3*s2*s3*s2*s3*s2*s3,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s1*s2*s1*s2*s1*s2*s3*s2*s1*s2*s1*s2*s1*s2*s3*s2,
s2*s1*s2*s1*s3*s2*s1*s2*s3*s2*s1*s2*s3*s2*s1*s2*s1*s3 >;
to this polytope