include("/home/bitnami/htdocs/websites/abstract-polytopes/www/subs.php"); ?>
Polytope of Type {2,8,12}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {2,8,12}*768d
if this polytope has a name.
Group : SmallGroup(768,1086301)
Rank : 4
Schlafli Type : {2,8,12}
Number of vertices, edges, etc : 2, 16, 96, 24
Order of s0s1s2s3 : 6
Order of s0s1s2s3s2s1 : 2
Special Properties :
Degenerate
Universal
Non-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,6}*384a
8-fold quotients : {2,4,6}*96b
16-fold quotients : {2,4,3}*48
Covers (Minimal Covers in Boldface) :
None in this atlas.
Permutation Representation (GAP) :
s0 := (1,2);;
s1 := ( 3,115)( 4,116)( 5,117)( 6,118)( 7,119)( 8,120)( 9,121)( 10,122)
( 11,129)( 12,130)( 13,127)( 14,128)( 15,125)( 16,126)( 17,123)( 18,124)
( 19,100)( 20, 99)( 21,102)( 22,101)( 23,104)( 24,103)( 25,106)( 26,105)
( 27,114)( 28,113)( 29,112)( 30,111)( 31,110)( 32,109)( 33,108)( 34,107)
( 35,147)( 36,148)( 37,149)( 38,150)( 39,151)( 40,152)( 41,153)( 42,154)
( 43,161)( 44,162)( 45,159)( 46,160)( 47,157)( 48,158)( 49,155)( 50,156)
( 51,132)( 52,131)( 53,134)( 54,133)( 55,136)( 56,135)( 57,138)( 58,137)
( 59,146)( 60,145)( 61,144)( 62,143)( 63,142)( 64,141)( 65,140)( 66,139)
( 67,179)( 68,180)( 69,181)( 70,182)( 71,183)( 72,184)( 73,185)( 74,186)
( 75,193)( 76,194)( 77,191)( 78,192)( 79,189)( 80,190)( 81,187)( 82,188)
( 83,164)( 84,163)( 85,166)( 86,165)( 87,168)( 88,167)( 89,170)( 90,169)
( 91,178)( 92,177)( 93,176)( 94,175)( 95,174)( 96,173)( 97,172)( 98,171);;
s2 := ( 7, 9)( 8, 10)( 11, 25)( 12, 26)( 13, 23)( 14, 24)( 15, 19)( 16, 20)
( 17, 21)( 18, 22)( 27, 30)( 28, 29)( 31, 32)( 33, 34)( 35, 67)( 36, 68)
( 37, 69)( 38, 70)( 39, 73)( 40, 74)( 41, 71)( 42, 72)( 43, 89)( 44, 90)
( 45, 87)( 46, 88)( 47, 83)( 48, 84)( 49, 85)( 50, 86)( 51, 79)( 52, 80)
( 53, 81)( 54, 82)( 55, 77)( 56, 78)( 57, 75)( 58, 76)( 59, 94)( 60, 93)
( 61, 92)( 62, 91)( 63, 96)( 64, 95)( 65, 98)( 66, 97)( 99,100)(101,102)
(103,106)(104,105)(107,122)(108,121)(109,120)(110,119)(111,116)(112,115)
(113,118)(114,117)(123,125)(124,126)(131,164)(132,163)(133,166)(134,165)
(135,170)(136,169)(137,168)(138,167)(139,186)(140,185)(141,184)(142,183)
(143,180)(144,179)(145,182)(146,181)(147,176)(148,175)(149,178)(150,177)
(151,174)(152,173)(153,172)(154,171)(155,189)(156,190)(157,187)(158,188)
(159,191)(160,192)(161,193)(162,194);;
s3 := ( 3,183)( 4,184)( 5,182)( 6,181)( 7,179)( 8,180)( 9,186)( 10,185)
( 11,172)( 12,171)( 13,177)( 14,178)( 15,176)( 16,175)( 17,173)( 18,174)
( 19,167)( 20,168)( 21,166)( 22,165)( 23,163)( 24,164)( 25,170)( 26,169)
( 27,192)( 28,191)( 29,189)( 30,190)( 31,188)( 32,187)( 33,193)( 34,194)
( 35,151)( 36,152)( 37,150)( 38,149)( 39,147)( 40,148)( 41,154)( 42,153)
( 43,140)( 44,139)( 45,145)( 46,146)( 47,144)( 48,143)( 49,141)( 50,142)
( 51,135)( 52,136)( 53,134)( 54,133)( 55,131)( 56,132)( 57,138)( 58,137)
( 59,160)( 60,159)( 61,157)( 62,158)( 63,156)( 64,155)( 65,161)( 66,162)
( 67,119)( 68,120)( 69,118)( 70,117)( 71,115)( 72,116)( 73,122)( 74,121)
( 75,108)( 76,107)( 77,113)( 78,114)( 79,112)( 80,111)( 81,109)( 82,110)
( 83,103)( 84,104)( 85,102)( 86,101)( 87, 99)( 88,100)( 89,106)( 90,105)
( 91,128)( 92,127)( 93,125)( 94,126)( 95,124)( 96,123)( 97,129)( 98,130);;
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,
s3*s2*s1*s2*s3*s2*s3*s2*s3*s2*s3*s2*s1*s2*s1,
s3*s1*s2*s3*s2*s3*s1*s2*s3*s1*s2*s3*s2*s3*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(194)!(1,2);
s1 := Sym(194)!( 3,115)( 4,116)( 5,117)( 6,118)( 7,119)( 8,120)( 9,121)
( 10,122)( 11,129)( 12,130)( 13,127)( 14,128)( 15,125)( 16,126)( 17,123)
( 18,124)( 19,100)( 20, 99)( 21,102)( 22,101)( 23,104)( 24,103)( 25,106)
( 26,105)( 27,114)( 28,113)( 29,112)( 30,111)( 31,110)( 32,109)( 33,108)
( 34,107)( 35,147)( 36,148)( 37,149)( 38,150)( 39,151)( 40,152)( 41,153)
( 42,154)( 43,161)( 44,162)( 45,159)( 46,160)( 47,157)( 48,158)( 49,155)
( 50,156)( 51,132)( 52,131)( 53,134)( 54,133)( 55,136)( 56,135)( 57,138)
( 58,137)( 59,146)( 60,145)( 61,144)( 62,143)( 63,142)( 64,141)( 65,140)
( 66,139)( 67,179)( 68,180)( 69,181)( 70,182)( 71,183)( 72,184)( 73,185)
( 74,186)( 75,193)( 76,194)( 77,191)( 78,192)( 79,189)( 80,190)( 81,187)
( 82,188)( 83,164)( 84,163)( 85,166)( 86,165)( 87,168)( 88,167)( 89,170)
( 90,169)( 91,178)( 92,177)( 93,176)( 94,175)( 95,174)( 96,173)( 97,172)
( 98,171);
s2 := Sym(194)!( 7, 9)( 8, 10)( 11, 25)( 12, 26)( 13, 23)( 14, 24)( 15, 19)
( 16, 20)( 17, 21)( 18, 22)( 27, 30)( 28, 29)( 31, 32)( 33, 34)( 35, 67)
( 36, 68)( 37, 69)( 38, 70)( 39, 73)( 40, 74)( 41, 71)( 42, 72)( 43, 89)
( 44, 90)( 45, 87)( 46, 88)( 47, 83)( 48, 84)( 49, 85)( 50, 86)( 51, 79)
( 52, 80)( 53, 81)( 54, 82)( 55, 77)( 56, 78)( 57, 75)( 58, 76)( 59, 94)
( 60, 93)( 61, 92)( 62, 91)( 63, 96)( 64, 95)( 65, 98)( 66, 97)( 99,100)
(101,102)(103,106)(104,105)(107,122)(108,121)(109,120)(110,119)(111,116)
(112,115)(113,118)(114,117)(123,125)(124,126)(131,164)(132,163)(133,166)
(134,165)(135,170)(136,169)(137,168)(138,167)(139,186)(140,185)(141,184)
(142,183)(143,180)(144,179)(145,182)(146,181)(147,176)(148,175)(149,178)
(150,177)(151,174)(152,173)(153,172)(154,171)(155,189)(156,190)(157,187)
(158,188)(159,191)(160,192)(161,193)(162,194);
s3 := Sym(194)!( 3,183)( 4,184)( 5,182)( 6,181)( 7,179)( 8,180)( 9,186)
( 10,185)( 11,172)( 12,171)( 13,177)( 14,178)( 15,176)( 16,175)( 17,173)
( 18,174)( 19,167)( 20,168)( 21,166)( 22,165)( 23,163)( 24,164)( 25,170)
( 26,169)( 27,192)( 28,191)( 29,189)( 30,190)( 31,188)( 32,187)( 33,193)
( 34,194)( 35,151)( 36,152)( 37,150)( 38,149)( 39,147)( 40,148)( 41,154)
( 42,153)( 43,140)( 44,139)( 45,145)( 46,146)( 47,144)( 48,143)( 49,141)
( 50,142)( 51,135)( 52,136)( 53,134)( 54,133)( 55,131)( 56,132)( 57,138)
( 58,137)( 59,160)( 60,159)( 61,157)( 62,158)( 63,156)( 64,155)( 65,161)
( 66,162)( 67,119)( 68,120)( 69,118)( 70,117)( 71,115)( 72,116)( 73,122)
( 74,121)( 75,108)( 76,107)( 77,113)( 78,114)( 79,112)( 80,111)( 81,109)
( 82,110)( 83,103)( 84,104)( 85,102)( 86,101)( 87, 99)( 88,100)( 89,106)
( 90,105)( 91,128)( 92,127)( 93,125)( 94,126)( 95,124)( 96,123)( 97,129)
( 98,130);
poly := sub<Sym(194)|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, s3*s2*s1*s2*s3*s2*s3*s2*s3*s2*s3*s2*s1*s2*s1,
s3*s1*s2*s3*s2*s3*s1*s2*s3*s1*s2*s3*s2*s3*s1*s2,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 >;
to this polytope