Magma V2.19-8 Tue Aug 20 2013 16:16:45 on localhost [Seed = 4172899380] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1036 geometric_solution 4.91633996 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 3012 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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.687970711418 0.727797394398 0 2 4 4 0132 1302 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 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 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 1.239580929612 1.430480075741 3 0 0 1 2031 0132 1230 2031 0 0 0 0 0 0 1 -1 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 1 -1 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.314082067459 0.725625779977 5 5 2 0 0132 2310 1302 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.427885227468 0.455812090353 4 1 1 4 3012 3201 0132 1230 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 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 0 0 0 0 0 0 0 -0.310349399254 0.246350132723 3 6 6 3 0132 0132 3201 3201 0 0 0 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 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.113887002814 0.679991886983 5 5 6 6 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.976683082960 1.569057781360 ==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' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(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_0101_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 6261/278*c_0101_6^8 + 61120/417*c_0101_6^7 - 143912/417*c_0101_6^6 + 99497/278*c_0101_6^5 + 66969/278*c_0101_6^4 - 304451/834*c_0101_6^3 + 44855/834*c_0101_6^2 + 16673/417*c_0101_6 - 18878/417, c_0011_0 - 1, c_0011_3 - 185/278*c_0101_6^8 + 1201/278*c_0101_6^7 - 1402/139*c_0101_6^6 + 2851/278*c_0101_6^5 + 1024/139*c_0101_6^4 - 1481/139*c_0101_6^3 + 178/139*c_0101_6^2 - 113/278*c_0101_6 - 227/139, c_0011_4 - c_0101_6, c_0101_0 + 85/278*c_0101_6^8 - 657/278*c_0101_6^7 + 971/139*c_0101_6^6 - 2745/278*c_0101_6^5 + 217/139*c_0101_6^4 + 1259/139*c_0101_6^3 - 480/139*c_0101_6^2 - 181/278*c_0101_6 + 78/139, c_0101_1 - 185/278*c_0101_6^8 + 1201/278*c_0101_6^7 - 1402/139*c_0101_6^6 + 2851/278*c_0101_6^5 + 1024/139*c_0101_6^4 - 1481/139*c_0101_6^3 + 178/139*c_0101_6^2 - 113/278*c_0101_6 - 227/139, c_0101_2 - 639/278*c_0101_6^8 + 2055/139*c_0101_6^7 - 9453/278*c_0101_6^6 + 9287/278*c_0101_6^5 + 7823/278*c_0101_6^4 - 5002/139*c_0101_6^3 + 297/139*c_0101_6^2 + 893/278*c_0101_6 - 1073/278, c_0101_6^9 - 6*c_0101_6^8 + 12*c_0101_6^7 - 8*c_0101_6^6 - 19*c_0101_6^5 + 11*c_0101_6^4 + 6*c_0101_6^3 - 3*c_0101_6^2 + c_0101_6 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 1580334033734998343140239045323705/95660357577337266785452071750766\ *c_0101_6^23 - 8483322239129454704110307853909164/47830178788668633\ 392726035875383*c_0101_6^22 + 16000401143131790741711348814743516/4\ 7830178788668633392726035875383*c_0101_6^21 + 214114945611364477450720396716593265/956603575773372667854520717507\ 66*c_0101_6^20 - 57328856650140580694042258549672072/68328826840955\ 19056103719410769*c_0101_6^19 - 25007575389600389591599931144398867\ 3/47830178788668633392726035875383*c_0101_6^18 + 5088711070772902074144746824991088219/95660357577337266785452071750\ 766*c_0101_6^17 - 2502146282316227141546056363038535891/95660357577\ 337266785452071750766*c_0101_6^16 - 14208338358511963511469321878426352713/9566035757733726678545207175\ 0766*c_0101_6^15 + 6929674274042061144493623573307284793/4783017878\ 8668633392726035875383*c_0101_6^14 + 10433137435045858381749740746641065810/4783017878866863339272603587\ 5383*c_0101_6^13 - 25734395844996214528394180076087879621/956603575\ 77337266785452071750766*c_0101_6^12 - 19348392931048318758920770502407627149/9566035757733726678545207175\ 0766*c_0101_6^11 + 22817928544064702011747982908633802251/956603575\ 77337266785452071750766*c_0101_6^10 + 14250302066703179582311931636624750515/9566035757733726678545207175\ 0766*c_0101_6^9 - 4907454863868645402863137498237724539/47830178788\ 668633392726035875383*c_0101_6^8 - 3971319441982062385331320632463152954/47830178788668633392726035875\ 383*c_0101_6^7 + 1944758659289502129371210654700943655/956603575773\ 37266785452071750766*c_0101_6^6 + 328895734472027948088300849276180\ 619/13665765368191038112207438821538*c_0101_6^5 - 178383633503069463475628282031332828/478301787886686333927260358753\ 83*c_0101_6^4 - 184575454447830111354047088866830479/47830178788668\ 633392726035875383*c_0101_6^3 + 1588045387495902862951796575963667/\ 13665765368191038112207438821538*c_0101_6^2 + 3772104995913119863980006859449357/6832882684095519056103719410769*\ c_0101_6 - 8615441727674588835451000806810907/956603575773372667854\ 52071750766, c_0011_0 - 1, c_0011_3 + 2775990028796259482006/40940220769635075303251*c_0101_6^23 - 24568864449979634514463/40940220769635075303251*c_0101_6^22 + 11540336070881242268213/81880441539270150606502*c_0101_6^21 + 858978672802754390868753/81880441539270150606502*c_0101_6^20 - 669337102023699276073144/40940220769635075303251*c_0101_6^19 - 5387838289871836579187897/81880441539270150606502*c_0101_6^18 + 11372227963379322867628177/81880441539270150606502*c_0101_6^17 + 15811206665882809849987033/81880441539270150606502*c_0101_6^16 - 21454251915455351451162901/40940220769635075303251*c_0101_6^15 - 12291933804820037770555451/40940220769635075303251*c_0101_6^14 + 87992719651737436835345629/81880441539270150606502*c_0101_6^13 + 12653086787228517349736863/40940220769635075303251*c_0101_6^12 - 102243799266916273640429605/81880441539270150606502*c_0101_6^11 - 25829895700384400233473377/81880441539270150606502*c_0101_6^10 + 31899540194225868293902151/40940220769635075303251*c_0101_6^9 + 21957301036180849602605249/81880441539270150606502*c_0101_6^8 - 9323331625892801980031418/40940220769635075303251*c_0101_6^7 - 4434211516948757503803687/40940220769635075303251*c_0101_6^6 + 3068917394089816883474469/81880441539270150606502*c_0101_6^5 + 1683521923928649159656503/81880441539270150606502*c_0101_6^4 - 381357999910557702434563/81880441539270150606502*c_0101_6^3 - 160306725262535768303777/81880441539270150606502*c_0101_6^2 - 54118950653484104244921/40940220769635075303251*c_0101_6 - 10333614087654907242240/40940220769635075303251, c_0011_4 - 3212441694732156056816202750337/1952252195455862587458205545\ 934*c_0101_6^23 + 17118408152823694230342438566863/9761260977279312\ 93729102772967*c_0101_6^22 - 61905080481317193314233182003853/19522\ 52195455862587458205545934*c_0101_6^21 - 444605783327080322292791225925581/1952252195455862587458205545934*c\ _0101_6^20 + 1602182826048299135942725533527243/1952252195455862587\ 458205545934*c_0101_6^19 + 1206472791147286137399471667904357/19522\ 52195455862587458205545934*c_0101_6^18 - 10421699199596882628183377934505695/1952252195455862587458205545934\ *c_0101_6^17 + 4009151056521788621128575339125585/19522521954558625\ 87458205545934*c_0101_6^16 + 15168829504970756991035046784801998/97\ 6126097727931293729102772967*c_0101_6^15 - 12816182848203353683669632334694351/976126097727931293729102772967*\ c_0101_6^14 - 47774301411543996717258546534175031/19522521954558625\ 87458205545934*c_0101_6^13 + 24767326468969124202783254194221173/97\ 6126097727931293729102772967*c_0101_6^12 + 24277152439480231784666951037724416/976126097727931293729102772967*\ c_0101_6^11 - 44363566202007214476314145798781517/19522521954558625\ 87458205545934*c_0101_6^10 - 18865690857307899263508303343988900/97\ 6126097727931293729102772967*c_0101_6^9 + 17512238246158619139174369275407859/1952252195455862587458205545934\ *c_0101_6^8 + 20825263011613763555009978296704535/19522521954558625\ 87458205545934*c_0101_6^7 - 1422875368129644405954615683173625/1952\ 252195455862587458205545934*c_0101_6^6 - 2887792734903588962894483059181839/976126097727931293729102772967*c\ _0101_6^5 - 178423363625744237209588618107349/976126097727931293729\ 102772967*c_0101_6^4 + 353052433153721466031884194318961/9761260977\ 27931293729102772967*c_0101_6^3 + 105306169751500016346358383644687\ /1952252195455862587458205545934*c_0101_6^2 - 80521069275883093566837855234117/1952252195455862587458205545934*c_\ 0101_6 + 5636456461432044804093578547849/19522521954558625874582055\ 45934, c_0101_0 + 1290617626274455952653596330680/9761260977279312937291027729\ 67*c_0101_6^23 - 13788037447696600883083436634955/97612609772793129\ 3729102772967*c_0101_6^22 + 50782388082732403178345153966199/195225\ 2195455862587458205545934*c_0101_6^21 + 352880243507362831511133294417761/1952252195455862587458205545934*c\ _0101_6^20 - 647129297900222230213499758110226/97612609772793129372\ 9102772967*c_0101_6^19 - 888937394034344032816690971790771/19522521\ 95455862587458205545934*c_0101_6^18 + 8301788889317302867840488764057405/1952252195455862587458205545934*\ c_0101_6^17 - 3671049062032972910772059090441339/195225219545586258\ 7458205545934*c_0101_6^16 - 11810031365588694041024738582162023/976\ 126097727931293729102772967*c_0101_6^15 + 10829891621671660870502885611679577/976126097727931293729102772967*\ c_0101_6^14 + 35821991243556508519598040315008911/19522521954558625\ 87458205545934*c_0101_6^13 - 20523130043104546849298388484493645/97\ 6126097727931293729102772967*c_0101_6^12 - 34750863195633750646927474641684007/1952252195455862587458205545934\ *c_0101_6^11 + 36838190496606180681668778383723523/1952252195455862\ 587458205545934*c_0101_6^10 + 13271041962567842947933406874551295/9\ 76126097727931293729102772967*c_0101_6^9 - 15593246078259121246290961220082185/1952252195455862587458205545934\ *c_0101_6^8 - 7570796758202715441596152640199290/976126097727931293\ 729102772967*c_0101_6^7 + 1173145462775671964489948464051968/976126\ 097727931293729102772967*c_0101_6^6 + 4503703390339993361825958372236465/1952252195455862587458205545934*\ c_0101_6^5 - 19306274219186037066255960590241/195225219545586258745\ 8205545934*c_0101_6^4 - 593180966515744917701850503582725/195225219\ 5455862587458205545934*c_0101_6^3 - 55028520193856107356575070170895/1952252195455862587458205545934*c_\ 0101_6^2 + 37640374488250182496922945302485/97612609772793129372910\ 2772967*c_0101_6 - 4633169218138068135995449041548/9761260977279312\ 93729102772967, c_0101_1 + 1937183058765049445376945707931/1952252195455862587458205545\ 934*c_0101_6^23 - 20775515528947854780034863025943/1952252195455862\ 587458205545934*c_0101_6^22 + 19259770644983593822411436727566/9761\ 26097727931293729102772967*c_0101_6^21 + 133744493330701499854413261576644/976126097727931293729102772967*c_\ 0101_6^20 - 493087785262504107700737825640035/976126097727931293729\ 102772967*c_0101_6^19 - 690216768977501514849526827063419/195225219\ 5455862587458205545934*c_0101_6^18 + 6401367677492216075452136078724889/1952252195455862587458205545934*\ c_0101_6^17 - 2719655542137422919447828671826925/195225219545586258\ 7458205545934*c_0101_6^16 - 9294135143506711972195476550571311/9761\ 26097727931293729102772967*c_0101_6^15 + 8277429141412708449522174148354464/976126097727931293729102772967*c\ _0101_6^14 + 29115117399450089704108575077034345/195225219545586258\ 7458205545934*c_0101_6^13 - 16018425995789777757674415381616252/976\ 126097727931293729102772967*c_0101_6^12 - 14693875962770920112752676932377645/976126097727931293729102772967*\ c_0101_6^11 + 14598198025791072950139154312900549/97612609772793129\ 3729102772967*c_0101_6^10 + 22927971765670684404162927142501095/195\ 2252195455862587458205545934*c_0101_6^9 - 6046849828924542436859603891035585/976126097727931293729102772967*c\ _0101_6^8 - 6464610308581467147868818957979227/97612609772793129372\ 9102772967*c_0101_6^7 + 1338979477750226068638444238070987/19522521\ 95455862587458205545934*c_0101_6^6 + 3699151830181550336623723885193899/1952252195455862587458205545934*\ c_0101_6^5 + 71306185258225684200468123884072/976126097727931293729\ 102772967*c_0101_6^4 - 465151632578674881354522568220827/1952252195\ 455862587458205545934*c_0101_6^3 - 60483047128231899087944605705513/1952252195455862587458205545934*c_\ 0101_6^2 + 52733961607034214485875964398369/19522521954558625874582\ 05545934*c_0101_6 - 1580165527799857179246931862613/976126097727931\ 293729102772967, c_0101_2 - 7557624058858647760234/40940220769635075303251*c_0101_6^23 + 86324900485428085668171/40940220769635075303251*c_0101_6^22 - 414668183061285221845901/81880441539270150606502*c_0101_6^21 - 929984277116856274433170/40940220769635075303251*c_0101_6^20 + 9065986478693695951026559/81880441539270150606502*c_0101_6^19 - 39721819814334017052489/81880441539270150606502*c_0101_6^18 - 26144571540229465372915803/40940220769635075303251*c_0101_6^17 + 26968495091185246336344228/40940220769635075303251*c_0101_6^16 + 123523907553088431371831805/81880441539270150606502*c_0101_6^15 - 106429489073872478731089190/40940220769635075303251*c_0101_6^14 - 127307930169443504344902829/81880441539270150606502*c_0101_6^13 + 354791463063977850450624097/81880441539270150606502*c_0101_6^12 + 60439134641244764210926749/81880441539270150606502*c_0101_6^11 - 152634233187544890246210206/40940220769635075303251*c_0101_6^10 - 42558615320445436621456401/81880441539270150606502*c_0101_6^9 + 147366694592690464620215347/81880441539270150606502*c_0101_6^8 + 47252422685275567810856395/81880441539270150606502*c_0101_6^7 - 22102279888010573240503149/40940220769635075303251*c_0101_6^6 - 19125503519503319279091597/81880441539270150606502*c_0101_6^5 + 4649780748237003182329097/40940220769635075303251*c_0101_6^4 + 1333957664153370327427427/40940220769635075303251*c_0101_6^3 - 385487838883424580562127/40940220769635075303251*c_0101_6^2 - 671284162180275947142865/81880441539270150606502*c_0101_6 + 126848484848053008606310/40940220769635075303251, c_0101_6^24 - 11*c_0101_6^23 + 23*c_0101_6^22 + 131*c_0101_6^21 - 545*c_0101_6^20 - 194*c_0101_6^19 + 3341*c_0101_6^18 - 2395*c_0101_6^17 - 8818*c_0101_6^16 + 11186*c_0101_6^15 + 11607*c_0101_6^14 - 20200*c_0101_6^13 - 9096*c_0101_6^12 + 18468*c_0101_6^11 + 6396*c_0101_6^10 - 9155*c_0101_6^9 - 4251*c_0101_6^8 + 2612*c_0101_6^7 + 1503*c_0101_6^6 - 517*c_0101_6^5 - 229*c_0101_6^4 + 48*c_0101_6^3 + 35*c_0101_6^2 - 12*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB