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