Magma V2.19-8 Tue Aug 20 2013 16:17:34 on localhost [Seed = 3364443159] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1802 geometric_solution 5.47070952 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 1 0 -1 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 -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.493888716359 0.622097572312 3 4 2 0 0132 0132 2031 0132 0 0 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 0 1 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.506652198013 0.493886277642 4 3 0 1 2310 3201 0132 1302 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 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.506652198013 0.493886277642 1 5 2 5 0132 0132 2310 2310 0 0 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 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.655958268718 1.473895255261 6 1 2 6 0132 0132 3201 1023 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 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.888854683853 0.655239640241 3 3 5 5 3201 0132 2031 1302 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 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.442184337490 0.172187486525 4 6 6 4 0132 1230 3012 1023 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 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.660651438226 0.406678309606 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_1'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_1, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t + c_0101_6^2 - 4*c_0101_6 + 4, c_0011_0 - 1, c_0011_1 + c_0101_6^2 - c_0101_6 - 1, c_0101_0 + c_0101_6^2 - c_0101_6 - 1, c_0101_1 + c_0101_6, c_0101_4 - 1, c_0101_6^3 - 2*c_0101_6^2 - c_0101_6 + 1, c_0110_5 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 2662170262654659902546774/18418202777223824413419*c_0110_5^20 - 7161857402794102852819312/18418202777223824413419*c_0110_5^19 - 6341619995200307803003670/6139400925741274804473*c_0110_5^18 - 44581850007974282453531192/18418202777223824413419*c_0110_5^17 + 8783095087452567528128857/18418202777223824413419*c_0110_5^16 + 77804875006108606319846282/18418202777223824413419*c_0110_5^15 + 43192117963408466386280006/6139400925741274804473*c_0110_5^14 - 67974976046140266124579601/18418202777223824413419*c_0110_5^13 - 800526150716166626984282765/18418202777223824413419*c_0110_5^12 + 115154996684539155032243039/18418202777223824413419*c_0110_5^11 + 616808653874851092742822999/6139400925741274804473*c_0110_5^10 + 103703888391002383321154765/2631171825317689201917*c_0110_5^9 - 1078879416719388000982642232/18418202777223824413419*c_0110_5^8 - 575806454727189102439401329/6139400925741274804473*c_0110_5^7 - 634111841562336550602215786/18418202777223824413419*c_0110_5^6 + 339811604789598148718453387/6139400925741274804473*c_0110_5^5 + 561138062584926054655865743/18418202777223824413419*c_0110_5^4 - 45204042725578859009716285/6139400925741274804473*c_0110_5^3 - 87171851478658983442848310/18418202777223824413419*c_0110_5^2 + 3788301421653027096334411/6139400925741274804473*c_0110_5 + 6635060617335608633272172/18418202777223824413419, c_0011_0 - 1, c_0011_1 + 9573049082594100176816/2046466975247091601491*c_0110_5^20 + 25627087676649093553258/2046466975247091601491*c_0110_5^19 + 22672836771408357881610/682155658415697200497*c_0110_5^18 + 159197603557010188847519/2046466975247091601491*c_0110_5^17 - 34281132106664983332529/2046466975247091601491*c_0110_5^16 - 280792748268468103526828/2046466975247091601491*c_0110_5^15 - 154460145320803395135218/682155658415697200497*c_0110_5^14 + 251967126809223191244596/2046466975247091601491*c_0110_5^13 + 2879462056743851500056629/2046466975247091601491*c_0110_5^12 - 450674323378165578966548/2046466975247091601491*c_0110_5^11 - 2221899080146264849286991/682155658415697200497*c_0110_5^10 - 362853936009941017604408/292352425035298800213*c_0110_5^9 + 3951823716363276678296219/2046466975247091601491*c_0110_5^8 + 2072690489364979003549816/682155658415697200497*c_0110_5^7 + 2193340613615068605856499/2046466975247091601491*c_0110_5^6 - 1248098605572433773117045/682155658415697200497*c_0110_5^5 - 2011323038363775162501148/2046466975247091601491*c_0110_5^4 + 172253264586603985087591/682155658415697200497*c_0110_5^3 + 337949359160760025846507/2046466975247091601491*c_0110_5^2 - 14433459864130723899787/682155658415697200497*c_0110_5 - 27503641697372703510605/2046466975247091601491, c_0101_0 - 17984559980262718061860/6139400925741274804473*c_0110_5^20 - 46277803902619756560326/6139400925741274804473*c_0110_5^19 - 41257835586659386670173/2046466975247091601491*c_0110_5^18 - 288246316578494478407929/6139400925741274804473*c_0110_5^17 + 88646982424010711789621/6139400925741274804473*c_0110_5^16 + 505033699728234465796177/6139400925741274804473*c_0110_5^15 + 273385816917462716701711/2046466975247091601491*c_0110_5^14 - 541687685595879177035998/6139400925741274804473*c_0110_5^13 - 5318989745345813516903674/6139400925741274804473*c_0110_5^12 + 1376400217345125839792482/6139400925741274804473*c_0110_5^11 + 4052712562827503486045543/2046466975247091601491*c_0110_5^10 + 510167309017474844003185/877057275105896400639*c_0110_5^9 - 7332038973573981536805562/6139400925741274804473*c_0110_5^8 - 3590643154637724159586897/2046466975247091601491*c_0110_5^7 - 3207158449333147325927149/6139400925741274804473*c_0110_5^6 + 2327574500925054681202792/2046466975247091601491*c_0110_5^5 + 2917985679207907600249784/6139400925741274804473*c_0110_5^4 - 352767870071519249131838/2046466975247091601491*c_0110_5^3 - 463326898258545524212613/6139400925741274804473*c_0110_5^2 + 34912404566111049116879/2046466975247091601491*c_0110_5 + 34878901440754983116872/6139400925741274804473, c_0101_1 + 31685257504013226945778/6139400925741274804473*c_0110_5^20 + 82616416489323954768518/6139400925741274804473*c_0110_5^19 + 73426350336864906101953/2046466975247091601491*c_0110_5^18 + 513657857880152034486226/6139400925741274804473*c_0110_5^17 - 143493428532989608710389/6139400925741274804473*c_0110_5^16 - 906420110377495475915161/6139400925741274804473*c_0110_5^15 - 492693891579576095266918/2046466975247091601491*c_0110_5^14 + 914359917017927795562715/6139400925741274804473*c_0110_5^13 + 9430095983431284204482398/6139400925741274804473*c_0110_5^12 - 2112300653480590065939532/6139400925741274804473*c_0110_5^11 - 7221413101860469484147726/2046466975247091601491*c_0110_5^10 - 1004093308183031089455019/877057275105896400639*c_0110_5^9 + 13013993107281095006862598/6139400925741274804473*c_0110_5^8 + 6538758761335409745952927/2046466975247091601491*c_0110_5^7 + 6247309387575219383795638/6139400925741274804473*c_0110_5^6 - 4128203245472751996389059/2046466975247091601491*c_0110_5^5 - 5729604098686637316276875/6139400925741274804473*c_0110_5^4 + 595489696006607181616181/2046466975247091601491*c_0110_5^3 + 935854560122132081970323/6139400925741274804473*c_0110_5^2 - 50720263190009581357979/2046466975247091601491*c_0110_5 - 74442304492445193584551/6139400925741274804473, c_0101_4 - 2598978210338536366228/292352425035298800213*c_0110_5^20 - 6447563570229807218738/292352425035298800213*c_0110_5^19 - 5785045887589073021590/97450808345099600071*c_0110_5^18 - 40173972028834509105934/292352425035298800213*c_0110_5^17 + 16198362017138540459468/292352425035298800213*c_0110_5^16 + 70790820206468357553061/292352425035298800213*c_0110_5^15 + 37700204048042132376356/97450808345099600071*c_0110_5^14 - 86821105128648590564779/292352425035298800213*c_0110_5^13 - 758453351146963090381795/292352425035298800213*c_0110_5^12 + 265273489223448997872619/292352425035298800213*c_0110_5^11 + 571446459690778443894538/97450808345099600071*c_0110_5^10 + 374626993406973057572932/292352425035298800213*c_0110_5^9 - 1052053722580581046506589/292352425035298800213*c_0110_5^8 - 490212191523167456945331/97450808345099600071*c_0110_5^7 - 364417781651932070156665/292352425035298800213*c_0110_5^6 + 337092911826913739588685/97450808345099600071*c_0110_5^5 + 335099558450634125538671/292352425035298800213*c_0110_5^4 - 50374859539582371317891/97450808345099600071*c_0110_5^3 - 50885199642508550542418/292352425035298800213*c_0110_5^2 + 4385098723593490499594/97450808345099600071*c_0110_5 + 3585765802450137353206/292352425035298800213, c_0101_6 + 27488509171302479987390/2046466975247091601491*c_0110_5^20 + 75799292735244247514935/2046466975247091601491*c_0110_5^19 + 66824891888286941958467/682155658415697200497*c_0110_5^18 + 471217761983320193922092/2046466975247091601491*c_0110_5^17 - 65991777998975046261877/2046466975247091601491*c_0110_5^16 - 824083442682552247760903/2046466975247091601491*c_0110_5^15 - 462054813949623122169502/682155658415697200497*c_0110_5^14 + 636805227946465088322443/2046466975247091601491*c_0110_5^13 + 8352045233132080854133895/2046466975247091601491*c_0110_5^12 - 664950437634620737122338/2046466975247091601491*c_0110_5^11 - 6487174583048530714345320/682155658415697200497*c_0110_5^10 - 1239601568157651828415604/292352425035298800213*c_0110_5^9 + 11253201485482913641972718/2046466975247091601491*c_0110_5^8 + 6230219079338093817143507/682155658415697200497*c_0110_5^7 + 7374259259952587358506879/2046466975247091601491*c_0110_5^6 - 3527372217553557910890571/682155658415697200497*c_0110_5^5 - 6610202426663297085678601/2046466975247091601491*c_0110_5^4 + 458765671320165621196383/682155658415697200497*c_0110_5^3 + 1086394043976697412324965/2046466975247091601491*c_0110_5^2 - 38707365775739910318158/682155658415697200497*c_0110_5 - 87360243287409133423217/2046466975247091601491, c_0110_5^21 + 3*c_0110_5^20 + 8*c_0110_5^19 + 19*c_0110_5^18 + 2*c_0110_5^17 - 30*c_0110_5^16 - 58*c_0110_5^15 + 10*c_0110_5^14 + 308*c_0110_5^13 + 51*c_0110_5^12 - 703*c_0110_5^11 - 493*c_0110_5^10 + 309*c_0110_5^9 + 778*c_0110_5^8 + 448*c_0110_5^7 - 302*c_0110_5^6 - 332*c_0110_5^5 - 23*c_0110_5^4 + 50*c_0110_5^3 + 8*c_0110_5^2 - 4*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB