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