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