Polytope of Type {129,4}

Play with this polytope as a twisty puzzle

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {129,4}*1032
if this polytope has a name.
Group : SmallGroup(1032,43)
Rank : 3
Schlafli Type : {129,4}
Number of vertices, edges, etc : 129, 258, 4
Order of s0s1s2 : 129
Order of s0s1s2s1 : 4
Special Properties :
   Compact Hyperbolic Quotient
   Locally Spherical
   Non-Orientable
   Flat
   Self-Petrie
Related Polytopes :
   Facet
   Vertex Figure
   Dual
   Petrial
   Skewing Operation
Facet Of :
   None in this Atlas
Vertex Figure Of :
   None in this Atlas
Quotients (Maximal Quotients in Boldface) :
   43-fold quotients : {3,4}*24
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Irregular Quotients (of which this is a minimal cover):
   None.

Permutation Representation (GAP) : 
s0 := (  3,  4)(  5,169)(  6,170)(  7,172)(  8,171)(  9,165)( 10,166)( 11,168)( 12,167)( 13,161)( 14,162)( 15,164)( 16,163)( 17,157)( 18,158)( 19,160)( 20,159)( 21,153)( 22,154)( 23,156)( 24,155)( 25,149)( 26,150)( 27,152)( 28,151)( 29,145)( 30,146)( 31,148)( 32,147)( 33,141)( 34,142)( 35,144)( 36,143)( 37,137)( 38,138)( 39,140)( 40,139)( 41,133)( 42,134)( 43,136)( 44,135)( 45,129)( 46,130)( 47,132)( 48,131)( 49,125)( 50,126)( 51,128)( 52,127)( 53,121)( 54,122)( 55,124)( 56,123)( 57,117)( 58,118)( 59,120)( 60,119)( 61,113)( 62,114)( 63,116)( 64,115)( 65,109)( 66,110)( 67,112)( 68,111)( 69,105)( 70,106)( 71,108)( 72,107)( 73,101)( 74,102)( 75,104)( 76,103)( 77, 97)( 78, 98)( 79,100)( 80, 99)( 81, 93)( 82, 94)( 83, 96)( 84, 95)( 85, 89)( 86, 90)( 87, 92)( 88, 91);;
s1 := (  1,  5)(  2,  8)(  3,  7)(  4,  6)(  9,169)( 10,172)( 11,171)( 12,170)( 13,165)( 14,168)( 15,167)( 16,166)( 17,161)( 18,164)( 19,163)( 20,162)( 21,157)( 22,160)( 23,159)( 24,158)( 25,153)( 26,156)( 27,155)( 28,154)( 29,149)( 30,152)( 31,151)( 32,150)( 33,145)( 34,148)( 35,147)( 36,146)( 37,141)( 38,144)( 39,143)( 40,142)( 41,137)( 42,140)( 43,139)( 44,138)( 45,133)( 46,136)( 47,135)( 48,134)( 49,129)( 50,132)( 51,131)( 52,130)( 53,125)( 54,128)( 55,127)( 56,126)( 57,121)( 58,124)( 59,123)( 60,122)( 61,117)( 62,120)( 63,119)( 64,118)( 65,113)( 66,116)( 67,115)( 68,114)( 69,109)( 70,112)( 71,111)( 72,110)( 73,105)( 74,108)( 75,107)( 76,106)( 77,101)( 78,104)( 79,103)( 80,102)( 81, 97)( 82,100)( 83, 99)( 84, 98)( 85, 93)( 86, 96)( 87, 95)( 88, 94)( 90, 92);;
s2 := (  1,  2)(  3,  4)(  5,  6)(  7,  8)(  9, 10)( 11, 12)( 13, 14)( 15, 16)( 17, 18)( 19, 20)( 21, 22)( 23, 24)( 25, 26)( 27, 28)( 29, 30)( 31, 32)( 33, 34)( 35, 36)( 37, 38)( 39, 40)( 41, 42)( 43, 44)( 45, 46)( 47, 48)( 49, 50)( 51, 52)( 53, 54)( 55, 56)( 57, 58)( 59, 60)( 61, 62)( 63, 64)( 65, 66)( 67, 68)( 69, 70)( 71, 72)( 73, 74)( 75, 76)( 77, 78)( 79, 80)( 81, 82)( 83, 84)( 85, 86)( 87, 88)( 89, 90)( 91, 92)( 93, 94)( 95, 96)( 97, 98)( 99,100)(101,102)(103,104)(105,106)(107,108)(109,110)(111,112)(113,114)(115,116)(117,118)(119,120)(121,122)(123,124)(125,126)(127,128)(129,130)(131,132)(133,134)(135,136)(137,138)(139,140)(141,142)(143,144)(145,146)(147,148)(149,150)(151,152)(153,154)(155,156)(157,158)(159,160)(161,162)(163,164)(165,166)(167,168)(169,170)(171,172);;
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, s1*s2*s1*s2*s1*s2*s1*s2, 
s2*s1*s0*s2*s1*s2*s1*s0*s1, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*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(172)!(  3,  4)(  5,169)(  6,170)(  7,172)(  8,171)(  9,165)( 10,166)( 11,168)( 12,167)( 13,161)( 14,162)( 15,164)( 16,163)( 17,157)( 18,158)( 19,160)( 20,159)( 21,153)( 22,154)( 23,156)( 24,155)( 25,149)( 26,150)( 27,152)( 28,151)( 29,145)( 30,146)( 31,148)( 32,147)( 33,141)( 34,142)( 35,144)( 36,143)( 37,137)( 38,138)( 39,140)( 40,139)( 41,133)( 42,134)( 43,136)( 44,135)( 45,129)( 46,130)( 47,132)( 48,131)( 49,125)( 50,126)( 51,128)( 52,127)( 53,121)( 54,122)( 55,124)( 56,123)( 57,117)( 58,118)( 59,120)( 60,119)( 61,113)( 62,114)( 63,116)( 64,115)( 65,109)( 66,110)( 67,112)( 68,111)( 69,105)( 70,106)( 71,108)( 72,107)( 73,101)( 74,102)( 75,104)( 76,103)( 77, 97)( 78, 98)( 79,100)( 80, 99)( 81, 93)( 82, 94)( 83, 96)( 84, 95)( 85, 89)( 86, 90)( 87, 92)( 88, 91);
s1 := Sym(172)!(  1,  5)(  2,  8)(  3,  7)(  4,  6)(  9,169)( 10,172)( 11,171)( 12,170)( 13,165)( 14,168)( 15,167)( 16,166)( 17,161)( 18,164)( 19,163)( 20,162)( 21,157)( 22,160)( 23,159)( 24,158)( 25,153)( 26,156)( 27,155)( 28,154)( 29,149)( 30,152)( 31,151)( 32,150)( 33,145)( 34,148)( 35,147)( 36,146)( 37,141)( 38,144)( 39,143)( 40,142)( 41,137)( 42,140)( 43,139)( 44,138)( 45,133)( 46,136)( 47,135)( 48,134)( 49,129)( 50,132)( 51,131)( 52,130)( 53,125)( 54,128)( 55,127)( 56,126)( 57,121)( 58,124)( 59,123)( 60,122)( 61,117)( 62,120)( 63,119)( 64,118)( 65,113)( 66,116)( 67,115)( 68,114)( 69,109)( 70,112)( 71,111)( 72,110)( 73,105)( 74,108)( 75,107)( 76,106)( 77,101)( 78,104)( 79,103)( 80,102)( 81, 97)( 82,100)( 83, 99)( 84, 98)( 85, 93)( 86, 96)( 87, 95)( 88, 94)( 90, 92);
s2 := Sym(172)!(  1,  2)(  3,  4)(  5,  6)(  7,  8)(  9, 10)( 11, 12)( 13, 14)( 15, 16)( 17, 18)( 19, 20)( 21, 22)( 23, 24)( 25, 26)( 27, 28)( 29, 30)( 31, 32)( 33, 34)( 35, 36)( 37, 38)( 39, 40)( 41, 42)( 43, 44)( 45, 46)( 47, 48)( 49, 50)( 51, 52)( 53, 54)( 55, 56)( 57, 58)( 59, 60)( 61, 62)( 63, 64)( 65, 66)( 67, 68)( 69, 70)( 71, 72)( 73, 74)( 75, 76)( 77, 78)( 79, 80)( 81, 82)( 83, 84)( 85, 86)( 87, 88)( 89, 90)( 91, 92)( 93, 94)( 95, 96)( 97, 98)( 99,100)(101,102)(103,104)(105,106)(107,108)(109,110)(111,112)(113,114)(115,116)(117,118)(119,120)(121,122)(123,124)(125,126)(127,128)(129,130)(131,132)(133,134)(135,136)(137,138)(139,140)(141,142)(143,144)(145,146)(147,148)(149,150)(151,152)(153,154)(155,156)(157,158)(159,160)(161,162)(163,164)(165,166)(167,168)(169,170)(171,172);
poly := sub<Sym(172)|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, s1*s2*s1*s2*s1*s2*s1*s2, 
s2*s1*s0*s2*s1*s2*s1*s0*s1, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*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

Twisty Puzzle