Polytope of Type {129,4}

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 s₀s₁s₂ : 129
Order of s₀s₁s₂s₁ : 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.
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