include("/home/bitnami/htdocs/websites/abstract-polytopes/www/subs.php"); ?>
Polytope of Type {3,24,6}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {3,24,6}*1728b
if this polytope has a name.
Group : SmallGroup(1728,46303)
Rank : 4
Schlafli Type : {3,24,6}
Number of vertices, edges, etc : 6, 72, 144, 6
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 : {3,12,6}*864b
3-fold quotients : {3,24,2}*576, {3,8,6}*576
6-fold quotients : {3,4,6}*288, {3,12,2}*288
8-fold quotients : {3,6,6}*216b
9-fold quotients : {3,8,2}*192
18-fold quotients : {3,4,2}*96
24-fold quotients : {3,2,6}*72, {3,6,2}*72
36-fold quotients : {3,4,2}*48
48-fold quotients : {3,2,3}*36
72-fold quotients : {3,2,2}*24
Covers (Minimal Covers in Boldface) :
None in this atlas.
Permutation Representation (GAP) :
s0 := ( 1,649)( 2,650)( 3,652)( 4,651)( 5,655)( 6,656)( 7,653)( 8,654)
( 9,665)( 10,666)( 11,668)( 12,667)( 13,671)( 14,672)( 15,669)( 16,670)
( 17,657)( 18,658)( 19,660)( 20,659)( 21,663)( 22,664)( 23,661)( 24,662)
( 25,673)( 26,674)( 27,676)( 28,675)( 29,679)( 30,680)( 31,677)( 32,678)
( 33,689)( 34,690)( 35,692)( 36,691)( 37,695)( 38,696)( 39,693)( 40,694)
( 41,681)( 42,682)( 43,684)( 44,683)( 45,687)( 46,688)( 47,685)( 48,686)
( 49,697)( 50,698)( 51,700)( 52,699)( 53,703)( 54,704)( 55,701)( 56,702)
( 57,713)( 58,714)( 59,716)( 60,715)( 61,719)( 62,720)( 63,717)( 64,718)
( 65,705)( 66,706)( 67,708)( 68,707)( 69,711)( 70,712)( 71,709)( 72,710)
( 73,793)( 74,794)( 75,796)( 76,795)( 77,799)( 78,800)( 79,797)( 80,798)
( 81,809)( 82,810)( 83,812)( 84,811)( 85,815)( 86,816)( 87,813)( 88,814)
( 89,801)( 90,802)( 91,804)( 92,803)( 93,807)( 94,808)( 95,805)( 96,806)
( 97,817)( 98,818)( 99,820)(100,819)(101,823)(102,824)(103,821)(104,822)
(105,833)(106,834)(107,836)(108,835)(109,839)(110,840)(111,837)(112,838)
(113,825)(114,826)(115,828)(116,827)(117,831)(118,832)(119,829)(120,830)
(121,841)(122,842)(123,844)(124,843)(125,847)(126,848)(127,845)(128,846)
(129,857)(130,858)(131,860)(132,859)(133,863)(134,864)(135,861)(136,862)
(137,849)(138,850)(139,852)(140,851)(141,855)(142,856)(143,853)(144,854)
(145,721)(146,722)(147,724)(148,723)(149,727)(150,728)(151,725)(152,726)
(153,737)(154,738)(155,740)(156,739)(157,743)(158,744)(159,741)(160,742)
(161,729)(162,730)(163,732)(164,731)(165,735)(166,736)(167,733)(168,734)
(169,745)(170,746)(171,748)(172,747)(173,751)(174,752)(175,749)(176,750)
(177,761)(178,762)(179,764)(180,763)(181,767)(182,768)(183,765)(184,766)
(185,753)(186,754)(187,756)(188,755)(189,759)(190,760)(191,757)(192,758)
(193,769)(194,770)(195,772)(196,771)(197,775)(198,776)(199,773)(200,774)
(201,785)(202,786)(203,788)(204,787)(205,791)(206,792)(207,789)(208,790)
(209,777)(210,778)(211,780)(212,779)(213,783)(214,784)(215,781)(216,782)
(217,434)(218,433)(219,435)(220,436)(221,440)(222,439)(223,438)(224,437)
(225,450)(226,449)(227,451)(228,452)(229,456)(230,455)(231,454)(232,453)
(233,442)(234,441)(235,443)(236,444)(237,448)(238,447)(239,446)(240,445)
(241,458)(242,457)(243,459)(244,460)(245,464)(246,463)(247,462)(248,461)
(249,474)(250,473)(251,475)(252,476)(253,480)(254,479)(255,478)(256,477)
(257,466)(258,465)(259,467)(260,468)(261,472)(262,471)(263,470)(264,469)
(265,482)(266,481)(267,483)(268,484)(269,488)(270,487)(271,486)(272,485)
(273,498)(274,497)(275,499)(276,500)(277,504)(278,503)(279,502)(280,501)
(281,490)(282,489)(283,491)(284,492)(285,496)(286,495)(287,494)(288,493)
(289,578)(290,577)(291,579)(292,580)(293,584)(294,583)(295,582)(296,581)
(297,594)(298,593)(299,595)(300,596)(301,600)(302,599)(303,598)(304,597)
(305,586)(306,585)(307,587)(308,588)(309,592)(310,591)(311,590)(312,589)
(313,602)(314,601)(315,603)(316,604)(317,608)(318,607)(319,606)(320,605)
(321,618)(322,617)(323,619)(324,620)(325,624)(326,623)(327,622)(328,621)
(329,610)(330,609)(331,611)(332,612)(333,616)(334,615)(335,614)(336,613)
(337,626)(338,625)(339,627)(340,628)(341,632)(342,631)(343,630)(344,629)
(345,642)(346,641)(347,643)(348,644)(349,648)(350,647)(351,646)(352,645)
(353,634)(354,633)(355,635)(356,636)(357,640)(358,639)(359,638)(360,637)
(361,506)(362,505)(363,507)(364,508)(365,512)(366,511)(367,510)(368,509)
(369,522)(370,521)(371,523)(372,524)(373,528)(374,527)(375,526)(376,525)
(377,514)(378,513)(379,515)(380,516)(381,520)(382,519)(383,518)(384,517)
(385,530)(386,529)(387,531)(388,532)(389,536)(390,535)(391,534)(392,533)
(393,546)(394,545)(395,547)(396,548)(397,552)(398,551)(399,550)(400,549)
(401,538)(402,537)(403,539)(404,540)(405,544)(406,543)(407,542)(408,541)
(409,554)(410,553)(411,555)(412,556)(413,560)(414,559)(415,558)(416,557)
(417,570)(418,569)(419,571)(420,572)(421,576)(422,575)(423,574)(424,573)
(425,562)(426,561)(427,563)(428,564)(429,568)(430,567)(431,566)(432,565);;
s1 := ( 1,729)( 2,730)( 3,735)( 4,736)( 5,734)( 6,733)( 7,731)( 8,732)
( 9,721)( 10,722)( 11,727)( 12,728)( 13,726)( 14,725)( 15,723)( 16,724)
( 17,737)( 18,738)( 19,743)( 20,744)( 21,742)( 22,741)( 23,739)( 24,740)
( 25,753)( 26,754)( 27,759)( 28,760)( 29,758)( 30,757)( 31,755)( 32,756)
( 33,745)( 34,746)( 35,751)( 36,752)( 37,750)( 38,749)( 39,747)( 40,748)
( 41,761)( 42,762)( 43,767)( 44,768)( 45,766)( 46,765)( 47,763)( 48,764)
( 49,777)( 50,778)( 51,783)( 52,784)( 53,782)( 54,781)( 55,779)( 56,780)
( 57,769)( 58,770)( 59,775)( 60,776)( 61,774)( 62,773)( 63,771)( 64,772)
( 65,785)( 66,786)( 67,791)( 68,792)( 69,790)( 70,789)( 71,787)( 72,788)
( 73,657)( 74,658)( 75,663)( 76,664)( 77,662)( 78,661)( 79,659)( 80,660)
( 81,649)( 82,650)( 83,655)( 84,656)( 85,654)( 86,653)( 87,651)( 88,652)
( 89,665)( 90,666)( 91,671)( 92,672)( 93,670)( 94,669)( 95,667)( 96,668)
( 97,681)( 98,682)( 99,687)(100,688)(101,686)(102,685)(103,683)(104,684)
(105,673)(106,674)(107,679)(108,680)(109,678)(110,677)(111,675)(112,676)
(113,689)(114,690)(115,695)(116,696)(117,694)(118,693)(119,691)(120,692)
(121,705)(122,706)(123,711)(124,712)(125,710)(126,709)(127,707)(128,708)
(129,697)(130,698)(131,703)(132,704)(133,702)(134,701)(135,699)(136,700)
(137,713)(138,714)(139,719)(140,720)(141,718)(142,717)(143,715)(144,716)
(145,801)(146,802)(147,807)(148,808)(149,806)(150,805)(151,803)(152,804)
(153,793)(154,794)(155,799)(156,800)(157,798)(158,797)(159,795)(160,796)
(161,809)(162,810)(163,815)(164,816)(165,814)(166,813)(167,811)(168,812)
(169,825)(170,826)(171,831)(172,832)(173,830)(174,829)(175,827)(176,828)
(177,817)(178,818)(179,823)(180,824)(181,822)(182,821)(183,819)(184,820)
(185,833)(186,834)(187,839)(188,840)(189,838)(190,837)(191,835)(192,836)
(193,849)(194,850)(195,855)(196,856)(197,854)(198,853)(199,851)(200,852)
(201,841)(202,842)(203,847)(204,848)(205,846)(206,845)(207,843)(208,844)
(209,857)(210,858)(211,863)(212,864)(213,862)(214,861)(215,859)(216,860)
(217,514)(218,513)(219,520)(220,519)(221,517)(222,518)(223,516)(224,515)
(225,506)(226,505)(227,512)(228,511)(229,509)(230,510)(231,508)(232,507)
(233,522)(234,521)(235,528)(236,527)(237,525)(238,526)(239,524)(240,523)
(241,538)(242,537)(243,544)(244,543)(245,541)(246,542)(247,540)(248,539)
(249,530)(250,529)(251,536)(252,535)(253,533)(254,534)(255,532)(256,531)
(257,546)(258,545)(259,552)(260,551)(261,549)(262,550)(263,548)(264,547)
(265,562)(266,561)(267,568)(268,567)(269,565)(270,566)(271,564)(272,563)
(273,554)(274,553)(275,560)(276,559)(277,557)(278,558)(279,556)(280,555)
(281,570)(282,569)(283,576)(284,575)(285,573)(286,574)(287,572)(288,571)
(289,442)(290,441)(291,448)(292,447)(293,445)(294,446)(295,444)(296,443)
(297,434)(298,433)(299,440)(300,439)(301,437)(302,438)(303,436)(304,435)
(305,450)(306,449)(307,456)(308,455)(309,453)(310,454)(311,452)(312,451)
(313,466)(314,465)(315,472)(316,471)(317,469)(318,470)(319,468)(320,467)
(321,458)(322,457)(323,464)(324,463)(325,461)(326,462)(327,460)(328,459)
(329,474)(330,473)(331,480)(332,479)(333,477)(334,478)(335,476)(336,475)
(337,490)(338,489)(339,496)(340,495)(341,493)(342,494)(343,492)(344,491)
(345,482)(346,481)(347,488)(348,487)(349,485)(350,486)(351,484)(352,483)
(353,498)(354,497)(355,504)(356,503)(357,501)(358,502)(359,500)(360,499)
(361,586)(362,585)(363,592)(364,591)(365,589)(366,590)(367,588)(368,587)
(369,578)(370,577)(371,584)(372,583)(373,581)(374,582)(375,580)(376,579)
(377,594)(378,593)(379,600)(380,599)(381,597)(382,598)(383,596)(384,595)
(385,610)(386,609)(387,616)(388,615)(389,613)(390,614)(391,612)(392,611)
(393,602)(394,601)(395,608)(396,607)(397,605)(398,606)(399,604)(400,603)
(401,618)(402,617)(403,624)(404,623)(405,621)(406,622)(407,620)(408,619)
(409,634)(410,633)(411,640)(412,639)(413,637)(414,638)(415,636)(416,635)
(417,626)(418,625)(419,632)(420,631)(421,629)(422,630)(423,628)(424,627)
(425,642)(426,641)(427,648)(428,647)(429,645)(430,646)(431,644)(432,643);;
s2 := ( 1,435)( 2,436)( 3,434)( 4,433)( 5,439)( 6,440)( 7,438)( 8,437)
( 9,451)( 10,452)( 11,450)( 12,449)( 13,455)( 14,456)( 15,454)( 16,453)
( 17,443)( 18,444)( 19,442)( 20,441)( 21,447)( 22,448)( 23,446)( 24,445)
( 25,483)( 26,484)( 27,482)( 28,481)( 29,487)( 30,488)( 31,486)( 32,485)
( 33,499)( 34,500)( 35,498)( 36,497)( 37,503)( 38,504)( 39,502)( 40,501)
( 41,491)( 42,492)( 43,490)( 44,489)( 45,495)( 46,496)( 47,494)( 48,493)
( 49,459)( 50,460)( 51,458)( 52,457)( 53,463)( 54,464)( 55,462)( 56,461)
( 57,475)( 58,476)( 59,474)( 60,473)( 61,479)( 62,480)( 63,478)( 64,477)
( 65,467)( 66,468)( 67,466)( 68,465)( 69,471)( 70,472)( 71,470)( 72,469)
( 73,507)( 74,508)( 75,506)( 76,505)( 77,511)( 78,512)( 79,510)( 80,509)
( 81,523)( 82,524)( 83,522)( 84,521)( 85,527)( 86,528)( 87,526)( 88,525)
( 89,515)( 90,516)( 91,514)( 92,513)( 93,519)( 94,520)( 95,518)( 96,517)
( 97,555)( 98,556)( 99,554)(100,553)(101,559)(102,560)(103,558)(104,557)
(105,571)(106,572)(107,570)(108,569)(109,575)(110,576)(111,574)(112,573)
(113,563)(114,564)(115,562)(116,561)(117,567)(118,568)(119,566)(120,565)
(121,531)(122,532)(123,530)(124,529)(125,535)(126,536)(127,534)(128,533)
(129,547)(130,548)(131,546)(132,545)(133,551)(134,552)(135,550)(136,549)
(137,539)(138,540)(139,538)(140,537)(141,543)(142,544)(143,542)(144,541)
(145,579)(146,580)(147,578)(148,577)(149,583)(150,584)(151,582)(152,581)
(153,595)(154,596)(155,594)(156,593)(157,599)(158,600)(159,598)(160,597)
(161,587)(162,588)(163,586)(164,585)(165,591)(166,592)(167,590)(168,589)
(169,627)(170,628)(171,626)(172,625)(173,631)(174,632)(175,630)(176,629)
(177,643)(178,644)(179,642)(180,641)(181,647)(182,648)(183,646)(184,645)
(185,635)(186,636)(187,634)(188,633)(189,639)(190,640)(191,638)(192,637)
(193,603)(194,604)(195,602)(196,601)(197,607)(198,608)(199,606)(200,605)
(201,619)(202,620)(203,618)(204,617)(205,623)(206,624)(207,622)(208,621)
(209,611)(210,612)(211,610)(212,609)(213,615)(214,616)(215,614)(216,613)
(217,652)(218,651)(219,649)(220,650)(221,656)(222,655)(223,653)(224,654)
(225,668)(226,667)(227,665)(228,666)(229,672)(230,671)(231,669)(232,670)
(233,660)(234,659)(235,657)(236,658)(237,664)(238,663)(239,661)(240,662)
(241,700)(242,699)(243,697)(244,698)(245,704)(246,703)(247,701)(248,702)
(249,716)(250,715)(251,713)(252,714)(253,720)(254,719)(255,717)(256,718)
(257,708)(258,707)(259,705)(260,706)(261,712)(262,711)(263,709)(264,710)
(265,676)(266,675)(267,673)(268,674)(269,680)(270,679)(271,677)(272,678)
(273,692)(274,691)(275,689)(276,690)(277,696)(278,695)(279,693)(280,694)
(281,684)(282,683)(283,681)(284,682)(285,688)(286,687)(287,685)(288,686)
(289,724)(290,723)(291,721)(292,722)(293,728)(294,727)(295,725)(296,726)
(297,740)(298,739)(299,737)(300,738)(301,744)(302,743)(303,741)(304,742)
(305,732)(306,731)(307,729)(308,730)(309,736)(310,735)(311,733)(312,734)
(313,772)(314,771)(315,769)(316,770)(317,776)(318,775)(319,773)(320,774)
(321,788)(322,787)(323,785)(324,786)(325,792)(326,791)(327,789)(328,790)
(329,780)(330,779)(331,777)(332,778)(333,784)(334,783)(335,781)(336,782)
(337,748)(338,747)(339,745)(340,746)(341,752)(342,751)(343,749)(344,750)
(345,764)(346,763)(347,761)(348,762)(349,768)(350,767)(351,765)(352,766)
(353,756)(354,755)(355,753)(356,754)(357,760)(358,759)(359,757)(360,758)
(361,796)(362,795)(363,793)(364,794)(365,800)(366,799)(367,797)(368,798)
(369,812)(370,811)(371,809)(372,810)(373,816)(374,815)(375,813)(376,814)
(377,804)(378,803)(379,801)(380,802)(381,808)(382,807)(383,805)(384,806)
(385,844)(386,843)(387,841)(388,842)(389,848)(390,847)(391,845)(392,846)
(393,860)(394,859)(395,857)(396,858)(397,864)(398,863)(399,861)(400,862)
(401,852)(402,851)(403,849)(404,850)(405,856)(406,855)(407,853)(408,854)
(409,820)(410,819)(411,817)(412,818)(413,824)(414,823)(415,821)(416,822)
(417,836)(418,835)(419,833)(420,834)(421,840)(422,839)(423,837)(424,838)
(425,828)(426,827)(427,825)(428,826)(429,832)(430,831)(431,829)(432,830);;
s3 := ( 1, 25)( 2, 26)( 3, 27)( 4, 28)( 5, 29)( 6, 30)( 7, 31)( 8, 32)
( 9, 33)( 10, 34)( 11, 35)( 12, 36)( 13, 37)( 14, 38)( 15, 39)( 16, 40)
( 17, 41)( 18, 42)( 19, 43)( 20, 44)( 21, 45)( 22, 46)( 23, 47)( 24, 48)
( 73, 97)( 74, 98)( 75, 99)( 76,100)( 77,101)( 78,102)( 79,103)( 80,104)
( 81,105)( 82,106)( 83,107)( 84,108)( 85,109)( 86,110)( 87,111)( 88,112)
( 89,113)( 90,114)( 91,115)( 92,116)( 93,117)( 94,118)( 95,119)( 96,120)
(145,169)(146,170)(147,171)(148,172)(149,173)(150,174)(151,175)(152,176)
(153,177)(154,178)(155,179)(156,180)(157,181)(158,182)(159,183)(160,184)
(161,185)(162,186)(163,187)(164,188)(165,189)(166,190)(167,191)(168,192)
(217,241)(218,242)(219,243)(220,244)(221,245)(222,246)(223,247)(224,248)
(225,249)(226,250)(227,251)(228,252)(229,253)(230,254)(231,255)(232,256)
(233,257)(234,258)(235,259)(236,260)(237,261)(238,262)(239,263)(240,264)
(289,313)(290,314)(291,315)(292,316)(293,317)(294,318)(295,319)(296,320)
(297,321)(298,322)(299,323)(300,324)(301,325)(302,326)(303,327)(304,328)
(305,329)(306,330)(307,331)(308,332)(309,333)(310,334)(311,335)(312,336)
(361,385)(362,386)(363,387)(364,388)(365,389)(366,390)(367,391)(368,392)
(369,393)(370,394)(371,395)(372,396)(373,397)(374,398)(375,399)(376,400)
(377,401)(378,402)(379,403)(380,404)(381,405)(382,406)(383,407)(384,408)
(433,457)(434,458)(435,459)(436,460)(437,461)(438,462)(439,463)(440,464)
(441,465)(442,466)(443,467)(444,468)(445,469)(446,470)(447,471)(448,472)
(449,473)(450,474)(451,475)(452,476)(453,477)(454,478)(455,479)(456,480)
(505,529)(506,530)(507,531)(508,532)(509,533)(510,534)(511,535)(512,536)
(513,537)(514,538)(515,539)(516,540)(517,541)(518,542)(519,543)(520,544)
(521,545)(522,546)(523,547)(524,548)(525,549)(526,550)(527,551)(528,552)
(577,601)(578,602)(579,603)(580,604)(581,605)(582,606)(583,607)(584,608)
(585,609)(586,610)(587,611)(588,612)(589,613)(590,614)(591,615)(592,616)
(593,617)(594,618)(595,619)(596,620)(597,621)(598,622)(599,623)(600,624)
(649,673)(650,674)(651,675)(652,676)(653,677)(654,678)(655,679)(656,680)
(657,681)(658,682)(659,683)(660,684)(661,685)(662,686)(663,687)(664,688)
(665,689)(666,690)(667,691)(668,692)(669,693)(670,694)(671,695)(672,696)
(721,745)(722,746)(723,747)(724,748)(725,749)(726,750)(727,751)(728,752)
(729,753)(730,754)(731,755)(732,756)(733,757)(734,758)(735,759)(736,760)
(737,761)(738,762)(739,763)(740,764)(741,765)(742,766)(743,767)(744,768)
(793,817)(794,818)(795,819)(796,820)(797,821)(798,822)(799,823)(800,824)
(801,825)(802,826)(803,827)(804,828)(805,829)(806,830)(807,831)(808,832)
(809,833)(810,834)(811,835)(812,836)(813,837)(814,838)(815,839)(816,840);;
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,
s1*s2*s3*s2*s1*s2*s3*s2, s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3,
s2*s0*s1*s2*s1*s2*s1*s2*s1*s2*s0*s1*s2*s1*s2*s1*s2*s1 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(864)!( 1,649)( 2,650)( 3,652)( 4,651)( 5,655)( 6,656)( 7,653)
( 8,654)( 9,665)( 10,666)( 11,668)( 12,667)( 13,671)( 14,672)( 15,669)
( 16,670)( 17,657)( 18,658)( 19,660)( 20,659)( 21,663)( 22,664)( 23,661)
( 24,662)( 25,673)( 26,674)( 27,676)( 28,675)( 29,679)( 30,680)( 31,677)
( 32,678)( 33,689)( 34,690)( 35,692)( 36,691)( 37,695)( 38,696)( 39,693)
( 40,694)( 41,681)( 42,682)( 43,684)( 44,683)( 45,687)( 46,688)( 47,685)
( 48,686)( 49,697)( 50,698)( 51,700)( 52,699)( 53,703)( 54,704)( 55,701)
( 56,702)( 57,713)( 58,714)( 59,716)( 60,715)( 61,719)( 62,720)( 63,717)
( 64,718)( 65,705)( 66,706)( 67,708)( 68,707)( 69,711)( 70,712)( 71,709)
( 72,710)( 73,793)( 74,794)( 75,796)( 76,795)( 77,799)( 78,800)( 79,797)
( 80,798)( 81,809)( 82,810)( 83,812)( 84,811)( 85,815)( 86,816)( 87,813)
( 88,814)( 89,801)( 90,802)( 91,804)( 92,803)( 93,807)( 94,808)( 95,805)
( 96,806)( 97,817)( 98,818)( 99,820)(100,819)(101,823)(102,824)(103,821)
(104,822)(105,833)(106,834)(107,836)(108,835)(109,839)(110,840)(111,837)
(112,838)(113,825)(114,826)(115,828)(116,827)(117,831)(118,832)(119,829)
(120,830)(121,841)(122,842)(123,844)(124,843)(125,847)(126,848)(127,845)
(128,846)(129,857)(130,858)(131,860)(132,859)(133,863)(134,864)(135,861)
(136,862)(137,849)(138,850)(139,852)(140,851)(141,855)(142,856)(143,853)
(144,854)(145,721)(146,722)(147,724)(148,723)(149,727)(150,728)(151,725)
(152,726)(153,737)(154,738)(155,740)(156,739)(157,743)(158,744)(159,741)
(160,742)(161,729)(162,730)(163,732)(164,731)(165,735)(166,736)(167,733)
(168,734)(169,745)(170,746)(171,748)(172,747)(173,751)(174,752)(175,749)
(176,750)(177,761)(178,762)(179,764)(180,763)(181,767)(182,768)(183,765)
(184,766)(185,753)(186,754)(187,756)(188,755)(189,759)(190,760)(191,757)
(192,758)(193,769)(194,770)(195,772)(196,771)(197,775)(198,776)(199,773)
(200,774)(201,785)(202,786)(203,788)(204,787)(205,791)(206,792)(207,789)
(208,790)(209,777)(210,778)(211,780)(212,779)(213,783)(214,784)(215,781)
(216,782)(217,434)(218,433)(219,435)(220,436)(221,440)(222,439)(223,438)
(224,437)(225,450)(226,449)(227,451)(228,452)(229,456)(230,455)(231,454)
(232,453)(233,442)(234,441)(235,443)(236,444)(237,448)(238,447)(239,446)
(240,445)(241,458)(242,457)(243,459)(244,460)(245,464)(246,463)(247,462)
(248,461)(249,474)(250,473)(251,475)(252,476)(253,480)(254,479)(255,478)
(256,477)(257,466)(258,465)(259,467)(260,468)(261,472)(262,471)(263,470)
(264,469)(265,482)(266,481)(267,483)(268,484)(269,488)(270,487)(271,486)
(272,485)(273,498)(274,497)(275,499)(276,500)(277,504)(278,503)(279,502)
(280,501)(281,490)(282,489)(283,491)(284,492)(285,496)(286,495)(287,494)
(288,493)(289,578)(290,577)(291,579)(292,580)(293,584)(294,583)(295,582)
(296,581)(297,594)(298,593)(299,595)(300,596)(301,600)(302,599)(303,598)
(304,597)(305,586)(306,585)(307,587)(308,588)(309,592)(310,591)(311,590)
(312,589)(313,602)(314,601)(315,603)(316,604)(317,608)(318,607)(319,606)
(320,605)(321,618)(322,617)(323,619)(324,620)(325,624)(326,623)(327,622)
(328,621)(329,610)(330,609)(331,611)(332,612)(333,616)(334,615)(335,614)
(336,613)(337,626)(338,625)(339,627)(340,628)(341,632)(342,631)(343,630)
(344,629)(345,642)(346,641)(347,643)(348,644)(349,648)(350,647)(351,646)
(352,645)(353,634)(354,633)(355,635)(356,636)(357,640)(358,639)(359,638)
(360,637)(361,506)(362,505)(363,507)(364,508)(365,512)(366,511)(367,510)
(368,509)(369,522)(370,521)(371,523)(372,524)(373,528)(374,527)(375,526)
(376,525)(377,514)(378,513)(379,515)(380,516)(381,520)(382,519)(383,518)
(384,517)(385,530)(386,529)(387,531)(388,532)(389,536)(390,535)(391,534)
(392,533)(393,546)(394,545)(395,547)(396,548)(397,552)(398,551)(399,550)
(400,549)(401,538)(402,537)(403,539)(404,540)(405,544)(406,543)(407,542)
(408,541)(409,554)(410,553)(411,555)(412,556)(413,560)(414,559)(415,558)
(416,557)(417,570)(418,569)(419,571)(420,572)(421,576)(422,575)(423,574)
(424,573)(425,562)(426,561)(427,563)(428,564)(429,568)(430,567)(431,566)
(432,565);
s1 := Sym(864)!( 1,729)( 2,730)( 3,735)( 4,736)( 5,734)( 6,733)( 7,731)
( 8,732)( 9,721)( 10,722)( 11,727)( 12,728)( 13,726)( 14,725)( 15,723)
( 16,724)( 17,737)( 18,738)( 19,743)( 20,744)( 21,742)( 22,741)( 23,739)
( 24,740)( 25,753)( 26,754)( 27,759)( 28,760)( 29,758)( 30,757)( 31,755)
( 32,756)( 33,745)( 34,746)( 35,751)( 36,752)( 37,750)( 38,749)( 39,747)
( 40,748)( 41,761)( 42,762)( 43,767)( 44,768)( 45,766)( 46,765)( 47,763)
( 48,764)( 49,777)( 50,778)( 51,783)( 52,784)( 53,782)( 54,781)( 55,779)
( 56,780)( 57,769)( 58,770)( 59,775)( 60,776)( 61,774)( 62,773)( 63,771)
( 64,772)( 65,785)( 66,786)( 67,791)( 68,792)( 69,790)( 70,789)( 71,787)
( 72,788)( 73,657)( 74,658)( 75,663)( 76,664)( 77,662)( 78,661)( 79,659)
( 80,660)( 81,649)( 82,650)( 83,655)( 84,656)( 85,654)( 86,653)( 87,651)
( 88,652)( 89,665)( 90,666)( 91,671)( 92,672)( 93,670)( 94,669)( 95,667)
( 96,668)( 97,681)( 98,682)( 99,687)(100,688)(101,686)(102,685)(103,683)
(104,684)(105,673)(106,674)(107,679)(108,680)(109,678)(110,677)(111,675)
(112,676)(113,689)(114,690)(115,695)(116,696)(117,694)(118,693)(119,691)
(120,692)(121,705)(122,706)(123,711)(124,712)(125,710)(126,709)(127,707)
(128,708)(129,697)(130,698)(131,703)(132,704)(133,702)(134,701)(135,699)
(136,700)(137,713)(138,714)(139,719)(140,720)(141,718)(142,717)(143,715)
(144,716)(145,801)(146,802)(147,807)(148,808)(149,806)(150,805)(151,803)
(152,804)(153,793)(154,794)(155,799)(156,800)(157,798)(158,797)(159,795)
(160,796)(161,809)(162,810)(163,815)(164,816)(165,814)(166,813)(167,811)
(168,812)(169,825)(170,826)(171,831)(172,832)(173,830)(174,829)(175,827)
(176,828)(177,817)(178,818)(179,823)(180,824)(181,822)(182,821)(183,819)
(184,820)(185,833)(186,834)(187,839)(188,840)(189,838)(190,837)(191,835)
(192,836)(193,849)(194,850)(195,855)(196,856)(197,854)(198,853)(199,851)
(200,852)(201,841)(202,842)(203,847)(204,848)(205,846)(206,845)(207,843)
(208,844)(209,857)(210,858)(211,863)(212,864)(213,862)(214,861)(215,859)
(216,860)(217,514)(218,513)(219,520)(220,519)(221,517)(222,518)(223,516)
(224,515)(225,506)(226,505)(227,512)(228,511)(229,509)(230,510)(231,508)
(232,507)(233,522)(234,521)(235,528)(236,527)(237,525)(238,526)(239,524)
(240,523)(241,538)(242,537)(243,544)(244,543)(245,541)(246,542)(247,540)
(248,539)(249,530)(250,529)(251,536)(252,535)(253,533)(254,534)(255,532)
(256,531)(257,546)(258,545)(259,552)(260,551)(261,549)(262,550)(263,548)
(264,547)(265,562)(266,561)(267,568)(268,567)(269,565)(270,566)(271,564)
(272,563)(273,554)(274,553)(275,560)(276,559)(277,557)(278,558)(279,556)
(280,555)(281,570)(282,569)(283,576)(284,575)(285,573)(286,574)(287,572)
(288,571)(289,442)(290,441)(291,448)(292,447)(293,445)(294,446)(295,444)
(296,443)(297,434)(298,433)(299,440)(300,439)(301,437)(302,438)(303,436)
(304,435)(305,450)(306,449)(307,456)(308,455)(309,453)(310,454)(311,452)
(312,451)(313,466)(314,465)(315,472)(316,471)(317,469)(318,470)(319,468)
(320,467)(321,458)(322,457)(323,464)(324,463)(325,461)(326,462)(327,460)
(328,459)(329,474)(330,473)(331,480)(332,479)(333,477)(334,478)(335,476)
(336,475)(337,490)(338,489)(339,496)(340,495)(341,493)(342,494)(343,492)
(344,491)(345,482)(346,481)(347,488)(348,487)(349,485)(350,486)(351,484)
(352,483)(353,498)(354,497)(355,504)(356,503)(357,501)(358,502)(359,500)
(360,499)(361,586)(362,585)(363,592)(364,591)(365,589)(366,590)(367,588)
(368,587)(369,578)(370,577)(371,584)(372,583)(373,581)(374,582)(375,580)
(376,579)(377,594)(378,593)(379,600)(380,599)(381,597)(382,598)(383,596)
(384,595)(385,610)(386,609)(387,616)(388,615)(389,613)(390,614)(391,612)
(392,611)(393,602)(394,601)(395,608)(396,607)(397,605)(398,606)(399,604)
(400,603)(401,618)(402,617)(403,624)(404,623)(405,621)(406,622)(407,620)
(408,619)(409,634)(410,633)(411,640)(412,639)(413,637)(414,638)(415,636)
(416,635)(417,626)(418,625)(419,632)(420,631)(421,629)(422,630)(423,628)
(424,627)(425,642)(426,641)(427,648)(428,647)(429,645)(430,646)(431,644)
(432,643);
s2 := Sym(864)!( 1,435)( 2,436)( 3,434)( 4,433)( 5,439)( 6,440)( 7,438)
( 8,437)( 9,451)( 10,452)( 11,450)( 12,449)( 13,455)( 14,456)( 15,454)
( 16,453)( 17,443)( 18,444)( 19,442)( 20,441)( 21,447)( 22,448)( 23,446)
( 24,445)( 25,483)( 26,484)( 27,482)( 28,481)( 29,487)( 30,488)( 31,486)
( 32,485)( 33,499)( 34,500)( 35,498)( 36,497)( 37,503)( 38,504)( 39,502)
( 40,501)( 41,491)( 42,492)( 43,490)( 44,489)( 45,495)( 46,496)( 47,494)
( 48,493)( 49,459)( 50,460)( 51,458)( 52,457)( 53,463)( 54,464)( 55,462)
( 56,461)( 57,475)( 58,476)( 59,474)( 60,473)( 61,479)( 62,480)( 63,478)
( 64,477)( 65,467)( 66,468)( 67,466)( 68,465)( 69,471)( 70,472)( 71,470)
( 72,469)( 73,507)( 74,508)( 75,506)( 76,505)( 77,511)( 78,512)( 79,510)
( 80,509)( 81,523)( 82,524)( 83,522)( 84,521)( 85,527)( 86,528)( 87,526)
( 88,525)( 89,515)( 90,516)( 91,514)( 92,513)( 93,519)( 94,520)( 95,518)
( 96,517)( 97,555)( 98,556)( 99,554)(100,553)(101,559)(102,560)(103,558)
(104,557)(105,571)(106,572)(107,570)(108,569)(109,575)(110,576)(111,574)
(112,573)(113,563)(114,564)(115,562)(116,561)(117,567)(118,568)(119,566)
(120,565)(121,531)(122,532)(123,530)(124,529)(125,535)(126,536)(127,534)
(128,533)(129,547)(130,548)(131,546)(132,545)(133,551)(134,552)(135,550)
(136,549)(137,539)(138,540)(139,538)(140,537)(141,543)(142,544)(143,542)
(144,541)(145,579)(146,580)(147,578)(148,577)(149,583)(150,584)(151,582)
(152,581)(153,595)(154,596)(155,594)(156,593)(157,599)(158,600)(159,598)
(160,597)(161,587)(162,588)(163,586)(164,585)(165,591)(166,592)(167,590)
(168,589)(169,627)(170,628)(171,626)(172,625)(173,631)(174,632)(175,630)
(176,629)(177,643)(178,644)(179,642)(180,641)(181,647)(182,648)(183,646)
(184,645)(185,635)(186,636)(187,634)(188,633)(189,639)(190,640)(191,638)
(192,637)(193,603)(194,604)(195,602)(196,601)(197,607)(198,608)(199,606)
(200,605)(201,619)(202,620)(203,618)(204,617)(205,623)(206,624)(207,622)
(208,621)(209,611)(210,612)(211,610)(212,609)(213,615)(214,616)(215,614)
(216,613)(217,652)(218,651)(219,649)(220,650)(221,656)(222,655)(223,653)
(224,654)(225,668)(226,667)(227,665)(228,666)(229,672)(230,671)(231,669)
(232,670)(233,660)(234,659)(235,657)(236,658)(237,664)(238,663)(239,661)
(240,662)(241,700)(242,699)(243,697)(244,698)(245,704)(246,703)(247,701)
(248,702)(249,716)(250,715)(251,713)(252,714)(253,720)(254,719)(255,717)
(256,718)(257,708)(258,707)(259,705)(260,706)(261,712)(262,711)(263,709)
(264,710)(265,676)(266,675)(267,673)(268,674)(269,680)(270,679)(271,677)
(272,678)(273,692)(274,691)(275,689)(276,690)(277,696)(278,695)(279,693)
(280,694)(281,684)(282,683)(283,681)(284,682)(285,688)(286,687)(287,685)
(288,686)(289,724)(290,723)(291,721)(292,722)(293,728)(294,727)(295,725)
(296,726)(297,740)(298,739)(299,737)(300,738)(301,744)(302,743)(303,741)
(304,742)(305,732)(306,731)(307,729)(308,730)(309,736)(310,735)(311,733)
(312,734)(313,772)(314,771)(315,769)(316,770)(317,776)(318,775)(319,773)
(320,774)(321,788)(322,787)(323,785)(324,786)(325,792)(326,791)(327,789)
(328,790)(329,780)(330,779)(331,777)(332,778)(333,784)(334,783)(335,781)
(336,782)(337,748)(338,747)(339,745)(340,746)(341,752)(342,751)(343,749)
(344,750)(345,764)(346,763)(347,761)(348,762)(349,768)(350,767)(351,765)
(352,766)(353,756)(354,755)(355,753)(356,754)(357,760)(358,759)(359,757)
(360,758)(361,796)(362,795)(363,793)(364,794)(365,800)(366,799)(367,797)
(368,798)(369,812)(370,811)(371,809)(372,810)(373,816)(374,815)(375,813)
(376,814)(377,804)(378,803)(379,801)(380,802)(381,808)(382,807)(383,805)
(384,806)(385,844)(386,843)(387,841)(388,842)(389,848)(390,847)(391,845)
(392,846)(393,860)(394,859)(395,857)(396,858)(397,864)(398,863)(399,861)
(400,862)(401,852)(402,851)(403,849)(404,850)(405,856)(406,855)(407,853)
(408,854)(409,820)(410,819)(411,817)(412,818)(413,824)(414,823)(415,821)
(416,822)(417,836)(418,835)(419,833)(420,834)(421,840)(422,839)(423,837)
(424,838)(425,828)(426,827)(427,825)(428,826)(429,832)(430,831)(431,829)
(432,830);
s3 := Sym(864)!( 1, 25)( 2, 26)( 3, 27)( 4, 28)( 5, 29)( 6, 30)( 7, 31)
( 8, 32)( 9, 33)( 10, 34)( 11, 35)( 12, 36)( 13, 37)( 14, 38)( 15, 39)
( 16, 40)( 17, 41)( 18, 42)( 19, 43)( 20, 44)( 21, 45)( 22, 46)( 23, 47)
( 24, 48)( 73, 97)( 74, 98)( 75, 99)( 76,100)( 77,101)( 78,102)( 79,103)
( 80,104)( 81,105)( 82,106)( 83,107)( 84,108)( 85,109)( 86,110)( 87,111)
( 88,112)( 89,113)( 90,114)( 91,115)( 92,116)( 93,117)( 94,118)( 95,119)
( 96,120)(145,169)(146,170)(147,171)(148,172)(149,173)(150,174)(151,175)
(152,176)(153,177)(154,178)(155,179)(156,180)(157,181)(158,182)(159,183)
(160,184)(161,185)(162,186)(163,187)(164,188)(165,189)(166,190)(167,191)
(168,192)(217,241)(218,242)(219,243)(220,244)(221,245)(222,246)(223,247)
(224,248)(225,249)(226,250)(227,251)(228,252)(229,253)(230,254)(231,255)
(232,256)(233,257)(234,258)(235,259)(236,260)(237,261)(238,262)(239,263)
(240,264)(289,313)(290,314)(291,315)(292,316)(293,317)(294,318)(295,319)
(296,320)(297,321)(298,322)(299,323)(300,324)(301,325)(302,326)(303,327)
(304,328)(305,329)(306,330)(307,331)(308,332)(309,333)(310,334)(311,335)
(312,336)(361,385)(362,386)(363,387)(364,388)(365,389)(366,390)(367,391)
(368,392)(369,393)(370,394)(371,395)(372,396)(373,397)(374,398)(375,399)
(376,400)(377,401)(378,402)(379,403)(380,404)(381,405)(382,406)(383,407)
(384,408)(433,457)(434,458)(435,459)(436,460)(437,461)(438,462)(439,463)
(440,464)(441,465)(442,466)(443,467)(444,468)(445,469)(446,470)(447,471)
(448,472)(449,473)(450,474)(451,475)(452,476)(453,477)(454,478)(455,479)
(456,480)(505,529)(506,530)(507,531)(508,532)(509,533)(510,534)(511,535)
(512,536)(513,537)(514,538)(515,539)(516,540)(517,541)(518,542)(519,543)
(520,544)(521,545)(522,546)(523,547)(524,548)(525,549)(526,550)(527,551)
(528,552)(577,601)(578,602)(579,603)(580,604)(581,605)(582,606)(583,607)
(584,608)(585,609)(586,610)(587,611)(588,612)(589,613)(590,614)(591,615)
(592,616)(593,617)(594,618)(595,619)(596,620)(597,621)(598,622)(599,623)
(600,624)(649,673)(650,674)(651,675)(652,676)(653,677)(654,678)(655,679)
(656,680)(657,681)(658,682)(659,683)(660,684)(661,685)(662,686)(663,687)
(664,688)(665,689)(666,690)(667,691)(668,692)(669,693)(670,694)(671,695)
(672,696)(721,745)(722,746)(723,747)(724,748)(725,749)(726,750)(727,751)
(728,752)(729,753)(730,754)(731,755)(732,756)(733,757)(734,758)(735,759)
(736,760)(737,761)(738,762)(739,763)(740,764)(741,765)(742,766)(743,767)
(744,768)(793,817)(794,818)(795,819)(796,820)(797,821)(798,822)(799,823)
(800,824)(801,825)(802,826)(803,827)(804,828)(805,829)(806,830)(807,831)
(808,832)(809,833)(810,834)(811,835)(812,836)(813,837)(814,838)(815,839)
(816,840);
poly := sub<Sym(864)|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, s1*s2*s3*s2*s1*s2*s3*s2,
s2*s3*s2*s3*s2*s3*s2*s3*s2*s3*s2*s3,
s2*s0*s1*s2*s1*s2*s1*s2*s1*s2*s0*s1*s2*s1*s2*s1*s2*s1 >;
References : None.
to this polytope