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