Polytope of Type {10,12}

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