include("/home/bitnami/htdocs/websites/abstract-polytopes/www/subs.php"); ?>
Polytope of Type {4,6,12}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {4,6,12}*1728d
if this polytope has a name.
Group : SmallGroup(1728,30243)
Rank : 4
Schlafli Type : {4,6,12}
Number of vertices, edges, etc : 4, 36, 108, 36
Order of s0s1s2s3 : 12
Order of s0s1s2s3s2s1 : 2
Special Properties :
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 : {4,6,6}*864e
3-fold quotients : {4,6,12}*576d
4-fold quotients : {4,6,6}*432
6-fold quotients : {4,6,6}*288d
9-fold quotients : {4,6,4}*192c
18-fold quotients : {4,6,2}*96c
36-fold quotients : {4,3,2}*48
Covers (Minimal Covers in Boldface) :
None in this atlas.
Permutation Representation (GAP) :
s0 := ( 1, 3)( 2, 4)( 5, 7)( 6, 8)( 9, 11)( 10, 12)( 13, 15)( 14, 16)
( 17, 19)( 18, 20)( 21, 23)( 22, 24)( 25, 27)( 26, 28)( 29, 31)( 30, 32)
( 33, 35)( 34, 36)( 37, 39)( 38, 40)( 41, 43)( 42, 44)( 45, 47)( 46, 48)
( 49, 51)( 50, 52)( 53, 55)( 54, 56)( 57, 59)( 58, 60)( 61, 63)( 62, 64)
( 65, 67)( 66, 68)( 69, 71)( 70, 72)( 73, 75)( 74, 76)( 77, 79)( 78, 80)
( 81, 83)( 82, 84)( 85, 87)( 86, 88)( 89, 91)( 90, 92)( 93, 95)( 94, 96)
( 97, 99)( 98,100)(101,103)(102,104)(105,107)(106,108)(109,111)(110,112)
(113,115)(114,116)(117,119)(118,120)(121,123)(122,124)(125,127)(126,128)
(129,131)(130,132)(133,135)(134,136)(137,139)(138,140)(141,143)(142,144)
(145,147)(146,148)(149,151)(150,152)(153,155)(154,156)(157,159)(158,160)
(161,163)(162,164)(165,167)(166,168)(169,171)(170,172)(173,175)(174,176)
(177,179)(178,180)(181,183)(182,184)(185,187)(186,188)(189,191)(190,192)
(193,195)(194,196)(197,199)(198,200)(201,203)(202,204)(205,207)(206,208)
(209,211)(210,212)(213,215)(214,216)(217,219)(218,220)(221,223)(222,224)
(225,227)(226,228)(229,231)(230,232)(233,235)(234,236)(237,239)(238,240)
(241,243)(242,244)(245,247)(246,248)(249,251)(250,252)(253,255)(254,256)
(257,259)(258,260)(261,263)(262,264)(265,267)(266,268)(269,271)(270,272)
(273,275)(274,276)(277,279)(278,280)(281,283)(282,284)(285,287)(286,288)
(289,291)(290,292)(293,295)(294,296)(297,299)(298,300)(301,303)(302,304)
(305,307)(306,308)(309,311)(310,312)(313,315)(314,316)(317,319)(318,320)
(321,323)(322,324)(325,327)(326,328)(329,331)(330,332)(333,335)(334,336)
(337,339)(338,340)(341,343)(342,344)(345,347)(346,348)(349,351)(350,352)
(353,355)(354,356)(357,359)(358,360)(361,363)(362,364)(365,367)(366,368)
(369,371)(370,372)(373,375)(374,376)(377,379)(378,380)(381,383)(382,384)
(385,387)(386,388)(389,391)(390,392)(393,395)(394,396)(397,399)(398,400)
(401,403)(402,404)(405,407)(406,408)(409,411)(410,412)(413,415)(414,416)
(417,419)(418,420)(421,423)(422,424)(425,427)(426,428)(429,431)(430,432);;
s1 := ( 3, 4)( 5, 9)( 6, 10)( 7, 12)( 8, 11)( 15, 16)( 17, 21)( 18, 22)
( 19, 24)( 20, 23)( 27, 28)( 29, 33)( 30, 34)( 31, 36)( 32, 35)( 37, 73)
( 38, 74)( 39, 76)( 40, 75)( 41, 81)( 42, 82)( 43, 84)( 44, 83)( 45, 77)
( 46, 78)( 47, 80)( 48, 79)( 49, 85)( 50, 86)( 51, 88)( 52, 87)( 53, 93)
( 54, 94)( 55, 96)( 56, 95)( 57, 89)( 58, 90)( 59, 92)( 60, 91)( 61, 97)
( 62, 98)( 63,100)( 64, 99)( 65,105)( 66,106)( 67,108)( 68,107)( 69,101)
( 70,102)( 71,104)( 72,103)(111,112)(113,117)(114,118)(115,120)(116,119)
(123,124)(125,129)(126,130)(127,132)(128,131)(135,136)(137,141)(138,142)
(139,144)(140,143)(145,181)(146,182)(147,184)(148,183)(149,189)(150,190)
(151,192)(152,191)(153,185)(154,186)(155,188)(156,187)(157,193)(158,194)
(159,196)(160,195)(161,201)(162,202)(163,204)(164,203)(165,197)(166,198)
(167,200)(168,199)(169,205)(170,206)(171,208)(172,207)(173,213)(174,214)
(175,216)(176,215)(177,209)(178,210)(179,212)(180,211)(219,220)(221,225)
(222,226)(223,228)(224,227)(231,232)(233,237)(234,238)(235,240)(236,239)
(243,244)(245,249)(246,250)(247,252)(248,251)(253,289)(254,290)(255,292)
(256,291)(257,297)(258,298)(259,300)(260,299)(261,293)(262,294)(263,296)
(264,295)(265,301)(266,302)(267,304)(268,303)(269,309)(270,310)(271,312)
(272,311)(273,305)(274,306)(275,308)(276,307)(277,313)(278,314)(279,316)
(280,315)(281,321)(282,322)(283,324)(284,323)(285,317)(286,318)(287,320)
(288,319)(327,328)(329,333)(330,334)(331,336)(332,335)(339,340)(341,345)
(342,346)(343,348)(344,347)(351,352)(353,357)(354,358)(355,360)(356,359)
(361,397)(362,398)(363,400)(364,399)(365,405)(366,406)(367,408)(368,407)
(369,401)(370,402)(371,404)(372,403)(373,409)(374,410)(375,412)(376,411)
(377,417)(378,418)(379,420)(380,419)(381,413)(382,414)(383,416)(384,415)
(385,421)(386,422)(387,424)(388,423)(389,429)(390,430)(391,432)(392,431)
(393,425)(394,426)(395,428)(396,427);;
s2 := ( 1, 37)( 2, 40)( 3, 39)( 4, 38)( 5, 41)( 6, 44)( 7, 43)( 8, 42)
( 9, 45)( 10, 48)( 11, 47)( 12, 46)( 13, 69)( 14, 72)( 15, 71)( 16, 70)
( 17, 61)( 18, 64)( 19, 63)( 20, 62)( 21, 65)( 22, 68)( 23, 67)( 24, 66)
( 25, 53)( 26, 56)( 27, 55)( 28, 54)( 29, 57)( 30, 60)( 31, 59)( 32, 58)
( 33, 49)( 34, 52)( 35, 51)( 36, 50)( 74, 76)( 78, 80)( 82, 84)( 85,105)
( 86,108)( 87,107)( 88,106)( 89, 97)( 90,100)( 91, 99)( 92, 98)( 93,101)
( 94,104)( 95,103)( 96,102)(109,145)(110,148)(111,147)(112,146)(113,149)
(114,152)(115,151)(116,150)(117,153)(118,156)(119,155)(120,154)(121,177)
(122,180)(123,179)(124,178)(125,169)(126,172)(127,171)(128,170)(129,173)
(130,176)(131,175)(132,174)(133,161)(134,164)(135,163)(136,162)(137,165)
(138,168)(139,167)(140,166)(141,157)(142,160)(143,159)(144,158)(182,184)
(186,188)(190,192)(193,213)(194,216)(195,215)(196,214)(197,205)(198,208)
(199,207)(200,206)(201,209)(202,212)(203,211)(204,210)(217,361)(218,364)
(219,363)(220,362)(221,365)(222,368)(223,367)(224,366)(225,369)(226,372)
(227,371)(228,370)(229,393)(230,396)(231,395)(232,394)(233,385)(234,388)
(235,387)(236,386)(237,389)(238,392)(239,391)(240,390)(241,377)(242,380)
(243,379)(244,378)(245,381)(246,384)(247,383)(248,382)(249,373)(250,376)
(251,375)(252,374)(253,325)(254,328)(255,327)(256,326)(257,329)(258,332)
(259,331)(260,330)(261,333)(262,336)(263,335)(264,334)(265,357)(266,360)
(267,359)(268,358)(269,349)(270,352)(271,351)(272,350)(273,353)(274,356)
(275,355)(276,354)(277,341)(278,344)(279,343)(280,342)(281,345)(282,348)
(283,347)(284,346)(285,337)(286,340)(287,339)(288,338)(289,397)(290,400)
(291,399)(292,398)(293,401)(294,404)(295,403)(296,402)(297,405)(298,408)
(299,407)(300,406)(301,429)(302,432)(303,431)(304,430)(305,421)(306,424)
(307,423)(308,422)(309,425)(310,428)(311,427)(312,426)(313,413)(314,416)
(315,415)(316,414)(317,417)(318,420)(319,419)(320,418)(321,409)(322,412)
(323,411)(324,410);;
s3 := ( 1,229)( 2,230)( 3,231)( 4,232)( 5,237)( 6,238)( 7,239)( 8,240)
( 9,233)( 10,234)( 11,235)( 12,236)( 13,217)( 14,218)( 15,219)( 16,220)
( 17,225)( 18,226)( 19,227)( 20,228)( 21,221)( 22,222)( 23,223)( 24,224)
( 25,241)( 26,242)( 27,243)( 28,244)( 29,249)( 30,250)( 31,251)( 32,252)
( 33,245)( 34,246)( 35,247)( 36,248)( 37,265)( 38,266)( 39,267)( 40,268)
( 41,273)( 42,274)( 43,275)( 44,276)( 45,269)( 46,270)( 47,271)( 48,272)
( 49,253)( 50,254)( 51,255)( 52,256)( 53,261)( 54,262)( 55,263)( 56,264)
( 57,257)( 58,258)( 59,259)( 60,260)( 61,277)( 62,278)( 63,279)( 64,280)
( 65,285)( 66,286)( 67,287)( 68,288)( 69,281)( 70,282)( 71,283)( 72,284)
( 73,301)( 74,302)( 75,303)( 76,304)( 77,309)( 78,310)( 79,311)( 80,312)
( 81,305)( 82,306)( 83,307)( 84,308)( 85,289)( 86,290)( 87,291)( 88,292)
( 89,297)( 90,298)( 91,299)( 92,300)( 93,293)( 94,294)( 95,295)( 96,296)
( 97,313)( 98,314)( 99,315)(100,316)(101,321)(102,322)(103,323)(104,324)
(105,317)(106,318)(107,319)(108,320)(109,337)(110,338)(111,339)(112,340)
(113,345)(114,346)(115,347)(116,348)(117,341)(118,342)(119,343)(120,344)
(121,325)(122,326)(123,327)(124,328)(125,333)(126,334)(127,335)(128,336)
(129,329)(130,330)(131,331)(132,332)(133,349)(134,350)(135,351)(136,352)
(137,357)(138,358)(139,359)(140,360)(141,353)(142,354)(143,355)(144,356)
(145,373)(146,374)(147,375)(148,376)(149,381)(150,382)(151,383)(152,384)
(153,377)(154,378)(155,379)(156,380)(157,361)(158,362)(159,363)(160,364)
(161,369)(162,370)(163,371)(164,372)(165,365)(166,366)(167,367)(168,368)
(169,385)(170,386)(171,387)(172,388)(173,393)(174,394)(175,395)(176,396)
(177,389)(178,390)(179,391)(180,392)(181,409)(182,410)(183,411)(184,412)
(185,417)(186,418)(187,419)(188,420)(189,413)(190,414)(191,415)(192,416)
(193,397)(194,398)(195,399)(196,400)(197,405)(198,406)(199,407)(200,408)
(201,401)(202,402)(203,403)(204,404)(205,421)(206,422)(207,423)(208,424)
(209,429)(210,430)(211,431)(212,432)(213,425)(214,426)(215,427)(216,428);;
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, s0*s1*s0*s1*s0*s1*s0*s1,
s0*s1*s2*s1*s0*s1*s2*s0*s1, s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s3*s1*s2*s3*s1*s2*s1*s2*s3*s1*s2*s3*s1*s2*s1*s2,
s1*s2*s3*s2*s1*s2*s3*s2*s3*s2*s1*s2*s3*s2*s1*s2,
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(432)!( 1, 3)( 2, 4)( 5, 7)( 6, 8)( 9, 11)( 10, 12)( 13, 15)
( 14, 16)( 17, 19)( 18, 20)( 21, 23)( 22, 24)( 25, 27)( 26, 28)( 29, 31)
( 30, 32)( 33, 35)( 34, 36)( 37, 39)( 38, 40)( 41, 43)( 42, 44)( 45, 47)
( 46, 48)( 49, 51)( 50, 52)( 53, 55)( 54, 56)( 57, 59)( 58, 60)( 61, 63)
( 62, 64)( 65, 67)( 66, 68)( 69, 71)( 70, 72)( 73, 75)( 74, 76)( 77, 79)
( 78, 80)( 81, 83)( 82, 84)( 85, 87)( 86, 88)( 89, 91)( 90, 92)( 93, 95)
( 94, 96)( 97, 99)( 98,100)(101,103)(102,104)(105,107)(106,108)(109,111)
(110,112)(113,115)(114,116)(117,119)(118,120)(121,123)(122,124)(125,127)
(126,128)(129,131)(130,132)(133,135)(134,136)(137,139)(138,140)(141,143)
(142,144)(145,147)(146,148)(149,151)(150,152)(153,155)(154,156)(157,159)
(158,160)(161,163)(162,164)(165,167)(166,168)(169,171)(170,172)(173,175)
(174,176)(177,179)(178,180)(181,183)(182,184)(185,187)(186,188)(189,191)
(190,192)(193,195)(194,196)(197,199)(198,200)(201,203)(202,204)(205,207)
(206,208)(209,211)(210,212)(213,215)(214,216)(217,219)(218,220)(221,223)
(222,224)(225,227)(226,228)(229,231)(230,232)(233,235)(234,236)(237,239)
(238,240)(241,243)(242,244)(245,247)(246,248)(249,251)(250,252)(253,255)
(254,256)(257,259)(258,260)(261,263)(262,264)(265,267)(266,268)(269,271)
(270,272)(273,275)(274,276)(277,279)(278,280)(281,283)(282,284)(285,287)
(286,288)(289,291)(290,292)(293,295)(294,296)(297,299)(298,300)(301,303)
(302,304)(305,307)(306,308)(309,311)(310,312)(313,315)(314,316)(317,319)
(318,320)(321,323)(322,324)(325,327)(326,328)(329,331)(330,332)(333,335)
(334,336)(337,339)(338,340)(341,343)(342,344)(345,347)(346,348)(349,351)
(350,352)(353,355)(354,356)(357,359)(358,360)(361,363)(362,364)(365,367)
(366,368)(369,371)(370,372)(373,375)(374,376)(377,379)(378,380)(381,383)
(382,384)(385,387)(386,388)(389,391)(390,392)(393,395)(394,396)(397,399)
(398,400)(401,403)(402,404)(405,407)(406,408)(409,411)(410,412)(413,415)
(414,416)(417,419)(418,420)(421,423)(422,424)(425,427)(426,428)(429,431)
(430,432);
s1 := Sym(432)!( 3, 4)( 5, 9)( 6, 10)( 7, 12)( 8, 11)( 15, 16)( 17, 21)
( 18, 22)( 19, 24)( 20, 23)( 27, 28)( 29, 33)( 30, 34)( 31, 36)( 32, 35)
( 37, 73)( 38, 74)( 39, 76)( 40, 75)( 41, 81)( 42, 82)( 43, 84)( 44, 83)
( 45, 77)( 46, 78)( 47, 80)( 48, 79)( 49, 85)( 50, 86)( 51, 88)( 52, 87)
( 53, 93)( 54, 94)( 55, 96)( 56, 95)( 57, 89)( 58, 90)( 59, 92)( 60, 91)
( 61, 97)( 62, 98)( 63,100)( 64, 99)( 65,105)( 66,106)( 67,108)( 68,107)
( 69,101)( 70,102)( 71,104)( 72,103)(111,112)(113,117)(114,118)(115,120)
(116,119)(123,124)(125,129)(126,130)(127,132)(128,131)(135,136)(137,141)
(138,142)(139,144)(140,143)(145,181)(146,182)(147,184)(148,183)(149,189)
(150,190)(151,192)(152,191)(153,185)(154,186)(155,188)(156,187)(157,193)
(158,194)(159,196)(160,195)(161,201)(162,202)(163,204)(164,203)(165,197)
(166,198)(167,200)(168,199)(169,205)(170,206)(171,208)(172,207)(173,213)
(174,214)(175,216)(176,215)(177,209)(178,210)(179,212)(180,211)(219,220)
(221,225)(222,226)(223,228)(224,227)(231,232)(233,237)(234,238)(235,240)
(236,239)(243,244)(245,249)(246,250)(247,252)(248,251)(253,289)(254,290)
(255,292)(256,291)(257,297)(258,298)(259,300)(260,299)(261,293)(262,294)
(263,296)(264,295)(265,301)(266,302)(267,304)(268,303)(269,309)(270,310)
(271,312)(272,311)(273,305)(274,306)(275,308)(276,307)(277,313)(278,314)
(279,316)(280,315)(281,321)(282,322)(283,324)(284,323)(285,317)(286,318)
(287,320)(288,319)(327,328)(329,333)(330,334)(331,336)(332,335)(339,340)
(341,345)(342,346)(343,348)(344,347)(351,352)(353,357)(354,358)(355,360)
(356,359)(361,397)(362,398)(363,400)(364,399)(365,405)(366,406)(367,408)
(368,407)(369,401)(370,402)(371,404)(372,403)(373,409)(374,410)(375,412)
(376,411)(377,417)(378,418)(379,420)(380,419)(381,413)(382,414)(383,416)
(384,415)(385,421)(386,422)(387,424)(388,423)(389,429)(390,430)(391,432)
(392,431)(393,425)(394,426)(395,428)(396,427);
s2 := Sym(432)!( 1, 37)( 2, 40)( 3, 39)( 4, 38)( 5, 41)( 6, 44)( 7, 43)
( 8, 42)( 9, 45)( 10, 48)( 11, 47)( 12, 46)( 13, 69)( 14, 72)( 15, 71)
( 16, 70)( 17, 61)( 18, 64)( 19, 63)( 20, 62)( 21, 65)( 22, 68)( 23, 67)
( 24, 66)( 25, 53)( 26, 56)( 27, 55)( 28, 54)( 29, 57)( 30, 60)( 31, 59)
( 32, 58)( 33, 49)( 34, 52)( 35, 51)( 36, 50)( 74, 76)( 78, 80)( 82, 84)
( 85,105)( 86,108)( 87,107)( 88,106)( 89, 97)( 90,100)( 91, 99)( 92, 98)
( 93,101)( 94,104)( 95,103)( 96,102)(109,145)(110,148)(111,147)(112,146)
(113,149)(114,152)(115,151)(116,150)(117,153)(118,156)(119,155)(120,154)
(121,177)(122,180)(123,179)(124,178)(125,169)(126,172)(127,171)(128,170)
(129,173)(130,176)(131,175)(132,174)(133,161)(134,164)(135,163)(136,162)
(137,165)(138,168)(139,167)(140,166)(141,157)(142,160)(143,159)(144,158)
(182,184)(186,188)(190,192)(193,213)(194,216)(195,215)(196,214)(197,205)
(198,208)(199,207)(200,206)(201,209)(202,212)(203,211)(204,210)(217,361)
(218,364)(219,363)(220,362)(221,365)(222,368)(223,367)(224,366)(225,369)
(226,372)(227,371)(228,370)(229,393)(230,396)(231,395)(232,394)(233,385)
(234,388)(235,387)(236,386)(237,389)(238,392)(239,391)(240,390)(241,377)
(242,380)(243,379)(244,378)(245,381)(246,384)(247,383)(248,382)(249,373)
(250,376)(251,375)(252,374)(253,325)(254,328)(255,327)(256,326)(257,329)
(258,332)(259,331)(260,330)(261,333)(262,336)(263,335)(264,334)(265,357)
(266,360)(267,359)(268,358)(269,349)(270,352)(271,351)(272,350)(273,353)
(274,356)(275,355)(276,354)(277,341)(278,344)(279,343)(280,342)(281,345)
(282,348)(283,347)(284,346)(285,337)(286,340)(287,339)(288,338)(289,397)
(290,400)(291,399)(292,398)(293,401)(294,404)(295,403)(296,402)(297,405)
(298,408)(299,407)(300,406)(301,429)(302,432)(303,431)(304,430)(305,421)
(306,424)(307,423)(308,422)(309,425)(310,428)(311,427)(312,426)(313,413)
(314,416)(315,415)(316,414)(317,417)(318,420)(319,419)(320,418)(321,409)
(322,412)(323,411)(324,410);
s3 := Sym(432)!( 1,229)( 2,230)( 3,231)( 4,232)( 5,237)( 6,238)( 7,239)
( 8,240)( 9,233)( 10,234)( 11,235)( 12,236)( 13,217)( 14,218)( 15,219)
( 16,220)( 17,225)( 18,226)( 19,227)( 20,228)( 21,221)( 22,222)( 23,223)
( 24,224)( 25,241)( 26,242)( 27,243)( 28,244)( 29,249)( 30,250)( 31,251)
( 32,252)( 33,245)( 34,246)( 35,247)( 36,248)( 37,265)( 38,266)( 39,267)
( 40,268)( 41,273)( 42,274)( 43,275)( 44,276)( 45,269)( 46,270)( 47,271)
( 48,272)( 49,253)( 50,254)( 51,255)( 52,256)( 53,261)( 54,262)( 55,263)
( 56,264)( 57,257)( 58,258)( 59,259)( 60,260)( 61,277)( 62,278)( 63,279)
( 64,280)( 65,285)( 66,286)( 67,287)( 68,288)( 69,281)( 70,282)( 71,283)
( 72,284)( 73,301)( 74,302)( 75,303)( 76,304)( 77,309)( 78,310)( 79,311)
( 80,312)( 81,305)( 82,306)( 83,307)( 84,308)( 85,289)( 86,290)( 87,291)
( 88,292)( 89,297)( 90,298)( 91,299)( 92,300)( 93,293)( 94,294)( 95,295)
( 96,296)( 97,313)( 98,314)( 99,315)(100,316)(101,321)(102,322)(103,323)
(104,324)(105,317)(106,318)(107,319)(108,320)(109,337)(110,338)(111,339)
(112,340)(113,345)(114,346)(115,347)(116,348)(117,341)(118,342)(119,343)
(120,344)(121,325)(122,326)(123,327)(124,328)(125,333)(126,334)(127,335)
(128,336)(129,329)(130,330)(131,331)(132,332)(133,349)(134,350)(135,351)
(136,352)(137,357)(138,358)(139,359)(140,360)(141,353)(142,354)(143,355)
(144,356)(145,373)(146,374)(147,375)(148,376)(149,381)(150,382)(151,383)
(152,384)(153,377)(154,378)(155,379)(156,380)(157,361)(158,362)(159,363)
(160,364)(161,369)(162,370)(163,371)(164,372)(165,365)(166,366)(167,367)
(168,368)(169,385)(170,386)(171,387)(172,388)(173,393)(174,394)(175,395)
(176,396)(177,389)(178,390)(179,391)(180,392)(181,409)(182,410)(183,411)
(184,412)(185,417)(186,418)(187,419)(188,420)(189,413)(190,414)(191,415)
(192,416)(193,397)(194,398)(195,399)(196,400)(197,405)(198,406)(199,407)
(200,408)(201,401)(202,402)(203,403)(204,404)(205,421)(206,422)(207,423)
(208,424)(209,429)(210,430)(211,431)(212,432)(213,425)(214,426)(215,427)
(216,428);
poly := sub<Sym(432)|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,
s0*s1*s0*s1*s0*s1*s0*s1, s0*s1*s2*s1*s0*s1*s2*s0*s1,
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2,
s3*s1*s2*s3*s1*s2*s1*s2*s3*s1*s2*s3*s1*s2*s1*s2,
s1*s2*s3*s2*s1*s2*s3*s2*s3*s2*s1*s2*s3*s2*s1*s2,
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3 >;
References : None.
to this polytope