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