Magma V2.19-8 Tue Aug 20 2013 16:17:07 on localhost [Seed = 2176851282] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1370 geometric_solution 5.22919064 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.837356483252 0.517305492560 0 0 3 2 0132 3201 0132 0132 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.461963846773 0.923092760542 4 3 1 5 0132 2031 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620253068591 0.432536534994 2 4 5 1 1302 2310 3201 0132 0 0 0 0 0 0 -1 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620253068591 0.432536534994 2 6 6 3 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651091904435 0.199547452875 3 5 2 5 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348519483319 1.739352486689 6 4 4 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.305148944293 0.705066207444 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 11072172938572701611187440591487925/1153809797136693515837996935703\ 807*c_0101_6^17 + 88548304771975662962143131695675647/4615239188546\ 774063351987742815228*c_0101_6^16 + 1436058664083803575615367403177329045/23076195942733870316759938714\ 07614*c_0101_6^15 - 9814418185771454428732331056753350293/461523918\ 8546774063351987742815228*c_0101_6^14 - 56265939513698159300702783230208906821/4615239188546774063351987742\ 815228*c_0101_6^13 + 224327933053939213864261473505459913075/461523\ 9188546774063351987742815228*c_0101_6^12 + 117852397049485973148791510818451875229/461523918854677406335198774\ 2815228*c_0101_6^11 - 989727829501553377596194198552786222623/46152\ 39188546774063351987742815228*c_0101_6^10 + 129909907715287269569517073608277668235/230761959427338703167599387\ 1407614*c_0101_6^9 + 1232051872799212521117516909072321300731/46152\ 39188546774063351987742815228*c_0101_6^8 - 160587294907566789676355504505724520841/230761959427338703167599387\ 1407614*c_0101_6^7 - 329325161356736954463249342395790746325/461523\ 9188546774063351987742815228*c_0101_6^6 - 9785978959379391690236467280985576911/23076195942733870316759938714\ 07614*c_0101_6^5 + 8199615867387080930032398319514968457/1153809797\ 136693515837996935703807*c_0101_6^4 + 116532568317137139296542654143796665/148878683501508840753289927187\ 588*c_0101_6^3 - 595409966303298680712038883415109316/1153809797136\ 693515837996935703807*c_0101_6^2 - 359772274412627394652239788607958661/230761959427338703167599387140\ 7614*c_0101_6 + 252972769275000450526830239531902113/46152391885467\ 74063351987742815228, c_0011_0 - 1, c_0011_2 + 84861762699570709789061084806797/372196708753772101883224817\ 96897*c_0101_6^17 - 193093187599074156424400816726457/3721967087537\ 7210188322481796897*c_0101_6^16 - 546049732135876616136406829361518\ 0/37219670875377210188322481796897*c_0101_6^15 + 20338291782053832314452902254779227/3721967087537721018832248179689\ 7*c_0101_6^14 + 102870220021694259785864312251880275/37219670875377\ 210188322481796897*c_0101_6^13 - 4608539594643023876511890119474026\ 26/37219670875377210188322481796897*c_0101_6^12 - 110951825379834992598004843478694234/372196708753772101883224817968\ 97*c_0101_6^11 + 1985971596525806290718609246741504951/372196708753\ 77210188322481796897*c_0101_6^10 - 1041317074800701050983682292575791837/37219670875377210188322481796\ 897*c_0101_6^9 - 2318800103769121575198720461029048855/372196708753\ 77210188322481796897*c_0101_6^8 + 142028254117225579155156341063740\ 7548/37219670875377210188322481796897*c_0101_6^7 + 496897425893488056465389170063980246/372196708753772101883224817968\ 97*c_0101_6^6 - 306357223910425410487899619017770658/37219670875377\ 210188322481796897*c_0101_6^5 - 7768378124490000807217514415368120/\ 37219670875377210188322481796897*c_0101_6^4 + 29324952630415481414035744098495484/3721967087537721018832248179689\ 7*c_0101_6^3 - 3475228516723985372785234677701713/37219670875377210\ 188322481796897*c_0101_6^2 - 942867614255408437137902100506079/3721\ 9670875377210188322481796897*c_0101_6 + 227060690428544700080898220981489/37219670875377210188322481796897, c_0011_5 - 10349696394329792458803511364280/372196708753772101883224817\ 96897*c_0101_6^17 + 22141342879880910131638268641954/37219670875377\ 210188322481796897*c_0101_6^16 + 669774858358163418070661272315271/\ 37219670875377210188322481796897*c_0101_6^15 - 2391231180323043504930529051802319/37219670875377210188322481796897\ *c_0101_6^14 - 12922820345348003561584206927625117/3721967087537721\ 0188322481796897*c_0101_6^13 + 54645284590405867192861395755566081/\ 37219670875377210188322481796897*c_0101_6^12 + 21919315748249931798420373480767796/3721967087537721018832248179689\ 7*c_0101_6^11 - 243693527456739149862641566867549921/37219670875377\ 210188322481796897*c_0101_6^10 + 9326126925562007108543686346256395\ 1/37219670875377210188322481796897*c_0101_6^9 + 314422459507136042348475336365197477/372196708753772101883224817968\ 97*c_0101_6^8 - 142329155829002249844457627757718730/37219670875377\ 210188322481796897*c_0101_6^7 - 10096104729274894219232145571371592\ 4/37219670875377210188322481796897*c_0101_6^6 + 39499072333673151489765268383934971/3721967087537721018832248179689\ 7*c_0101_6^5 + 9724299712597796045523312542019943/37219670875377210\ 188322481796897*c_0101_6^4 - 5674905314974270102476562588628152/372\ 19670875377210188322481796897*c_0101_6^3 - 156488563334418000489227890413918/37219670875377210188322481796897*\ c_0101_6^2 + 292985772305392271548065008264037/37219670875377210188\ 322481796897*c_0101_6 - 22885125995211714610227532633825/3721967087\ 5377210188322481796897, c_0101_0 - 4282335537737748506981923501272/3721967087537721018832248179\ 6897*c_0101_6^17 + 9112119723918476932708098106054/3721967087537721\ 0188322481796897*c_0101_6^16 + 277229987148844879331749537674465/37\ 219670875377210188322481796897*c_0101_6^15 - 986230893127573601021667494495278/37219670875377210188322481796897*\ c_0101_6^14 - 5358058089647261289148599101341817/372196708753772101\ 88322481796897*c_0101_6^13 + 22548944129375831653870559096441064/37\ 219670875377210188322481796897*c_0101_6^12 + 9320037938934078822517924155679038/37219670875377210188322481796897\ *c_0101_6^11 - 100725431491588610906282849442716819/372196708753772\ 10188322481796897*c_0101_6^10 + 37526579909924566911280425594245491\ /37219670875377210188322481796897*c_0101_6^9 + 130469837705566627590150827669406174/372196708753772101883224817968\ 97*c_0101_6^8 - 57755845008548975976403270525451528/372196708753772\ 10188322481796897*c_0101_6^7 - 42132304583096808273710537734405446/\ 37219670875377210188322481796897*c_0101_6^6 + 16352603500294579417792625770908806/3721967087537721018832248179689\ 7*c_0101_6^5 + 3825470355888151941954031158549164/37219670875377210\ 188322481796897*c_0101_6^4 - 2549974362934577392512922122784289/372\ 19670875377210188322481796897*c_0101_6^3 + 84320415812020514094709731661998/37219670875377210188322481796897*c\ _0101_6^2 + 218078891219547834186128645101779/372196708753772101883\ 22481796897*c_0101_6 - 24679926639887079597133822948572/37219670875\ 377210188322481796897, c_0101_1 - 2547501731940117662560550047224/3721967087537721018832248179\ 6897*c_0101_6^17 + 5100330635796651630641501057853/3721967087537721\ 0188322481796897*c_0101_6^16 + 165636973698954641748973975630313/37\ 219670875377210188322481796897*c_0101_6^15 - 566012177199475219953173856619911/37219670875377210188322481796897*\ c_0101_6^14 - 3263523046637735190731323921749749/372196708753772101\ 88322481796897*c_0101_6^13 + 13020085036038718866876806750586278/37\ 219670875377210188322481796897*c_0101_6^12 + 7279559023821355533037208285188893/37219670875377210188322481796897\ *c_0101_6^11 - 59384212155235095386037981749167691/3721967087537721\ 0188322481796897*c_0101_6^10 + 14609851716096200082545228542135923/\ 37219670875377210188322481796897*c_0101_6^9 + 81216839842735739252453145506598094/3721967087537721018832248179689\ 7*c_0101_6^8 - 24448007588371835940877633512352102/3721967087537721\ 0188322481796897*c_0101_6^7 - 30684062211530747381371321437210345/3\ 7219670875377210188322481796897*c_0101_6^6 + 6454513391966760886416968421580693/37219670875377210188322481796897\ *c_0101_6^5 + 4231425044733085018655816674855938/372196708753772101\ 88322481796897*c_0101_6^4 - 1146009753742966628388181277203652/3721\ 9670875377210188322481796897*c_0101_6^3 - 345427352753378141975766569381549/37219670875377210188322481796897*\ c_0101_6^2 + 144273092076042448198160553914785/37219670875377210188\ 322481796897*c_0101_6 + 13210299941691685390434023335625/3721967087\ 5377210188322481796897, c_0101_4 - 114029644115343477285791456564027/37219670875377210188322481\ 796897*c_0101_6^17 + 262397792818474537209340884744439/372196708753\ 77210188322481796897*c_0101_6^16 + 7329992040046870514659103969029426/37219670875377210188322481796897\ *c_0101_6^15 - 27516005373865520893431743150130242/3721967087537721\ 0188322481796897*c_0101_6^14 - 137482556132032687488848754124556077\ /37219670875377210188322481796897*c_0101_6^13 + 622642480476563124016136474243598827/372196708753772101883224817968\ 97*c_0101_6^12 + 132408123178463087704291291649008171/3721967087537\ 7210188322481796897*c_0101_6^11 - 266859911279227984537919542018751\ 3834/37219670875377210188322481796897*c_0101_6^10 + 1467451264250138374223006625663504385/37219670875377210188322481796\ 897*c_0101_6^9 + 3064627321180931724268920994478540320/372196708753\ 77210188322481796897*c_0101_6^8 - 197523297963933970838905694221200\ 1490/37219670875377210188322481796897*c_0101_6^7 - 605423406970329753171694377056410574/372196708753772101883224817968\ 97*c_0101_6^6 + 412956009753807476833081429513612614/37219670875377\ 210188322481796897*c_0101_6^5 + 1708788108705474314146554506650969/\ 37219670875377210188322481796897*c_0101_6^4 - 37586509376967825462074722617948495/3721967087537721018832248179689\ 7*c_0101_6^3 + 4926363403574940174552546202751883/37219670875377210\ 188322481796897*c_0101_6^2 + 1131966456956117402096374782240424/372\ 19670875377210188322481796897*c_0101_6 - 292435035664054581100512566088577/37219670875377210188322481796897, c_0101_6^18 - 2*c_0101_6^17 - 65*c_0101_6^16 + 222*c_0101_6^15 + 1280*c_0101_6^14 - 5103*c_0101_6^13 - 2838*c_0101_6^12 + 23184*c_0101_6^11 - 5754*c_0101_6^10 - 31338*c_0101_6^9 + 9393*c_0101_6^8 + 11289*c_0101_6^7 - 2267*c_0101_6^6 - 1345*c_0101_6^5 + 368*c_0101_6^4 + 76*c_0101_6^3 - 28*c_0101_6^2 - c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB