Magma V2.19-8 Tue Aug 20 2013 16:16:50 on localhost [Seed = 3330759184] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1101 geometric_solution 4.96710301 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 2310 0 0 0 0 0 0 -1 1 1 0 0 -1 -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 -1 1 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 -1.187845738393 1.748615955093 0 1 0 1 0132 1302 1023 2031 0 0 0 0 0 0 0 0 -1 0 1 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 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.370623913833 0.079545286727 0 0 4 3 3201 0132 0132 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 1 -1 0 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.168284245592 0.973550025778 5 4 2 4 0132 1023 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438524096332 1.222878658043 3 5 3 2 1023 3201 1230 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 -1 0 1 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.438524096332 1.222878658043 3 6 4 6 0132 0132 2310 2310 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 -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.138306600819 1.380054984010 5 5 6 6 3201 0132 1230 3012 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 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.271930819675 0.144647309375 ==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_0110_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0101_5'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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_3'], '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' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_3'])})} 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_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 33*c_0110_6^7 - 41*c_0110_6^6 + 223*c_0110_6^5 + 250*c_0110_6^4 - 448*c_0110_6^3 - 424*c_0110_6^2 + 253*c_0110_6 + 168, c_0011_0 - 1, c_0011_3 + c_0110_6^5 - 4*c_0110_6^3 + 3*c_0110_6, c_0101_0 + c_0110_6, c_0101_1 + c_0110_6^2 - 1, c_0101_3 - c_0110_6^3 + 2*c_0110_6, c_0101_5 + c_0110_6^6 - 5*c_0110_6^4 + 6*c_0110_6^2 - 1, c_0110_6^8 + c_0110_6^7 - 7*c_0110_6^6 - 6*c_0110_6^5 + 15*c_0110_6^4 + 10*c_0110_6^3 - 10*c_0110_6^2 - 4*c_0110_6 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 152402188882229371650888571091854104/137166464096410454884218117122\ 59*c_0110_6^24 - 819008902504768068165930805266374295/1371664640964\ 1045488421811712259*c_0110_6^23 - 396166808869035306657847564745442\ 4388/13716646409641045488421811712259*c_0110_6^22 + 27240453305148285786459964342859310706/1371664640964104548842181171\ 2259*c_0110_6^21 + 3550921558981114926741350760262075067/1371664640\ 9641045488421811712259*c_0110_6^20 - 203813982929969180586628774859533101586/137166464096410454884218117\ 12259*c_0110_6^19 + 116459243315995053359805240830872491091/1371664\ 6409641045488421811712259*c_0110_6^18 + 746171093045549195819333432218596922164/137166464096410454884218117\ 12259*c_0110_6^17 - 640346898340490065542996393095043017538/1371664\ 6409641045488421811712259*c_0110_6^16 - 1704894046235508005000521275149619516786/13716646409641045488421811\ 712259*c_0110_6^15 + 2037436238074154602041370894815742367373/13716\ 646409641045488421811712259*c_0110_6^14 + 1998940205716265655460993589014065477175/13716646409641045488421811\ 712259*c_0110_6^13 - 3575930247568284853865421155638193865863/13716\ 646409641045488421811712259*c_0110_6^12 - 769115227673774940156247342374340852362/137166464096410454884218117\ 12259*c_0110_6^11 + 3849505963786521364437915553912045925460/137166\ 46409641045488421811712259*c_0110_6^10 - 1662877753920066646009080707823006238644/13716646409641045488421811\ 712259*c_0110_6^9 - 1030952135481205278507255168068533927485/137166\ 46409641045488421811712259*c_0110_6^8 + 991331912498959176341092076083668606849/137166464096410454884218117\ 12259*c_0110_6^7 - 33577217921927584843283752681873104824/137166464\ 09641045488421811712259*c_0110_6^6 - 209875506154521324112395332776052095656/137166464096410454884218117\ 12259*c_0110_6^5 + 52508847592302778248250268560091183107/137166464\ 09641045488421811712259*c_0110_6^4 + 21761275369630050189598131324314353222/1371664640964104548842181171\ 2259*c_0110_6^3 - 8092331735938536669369196014323667958/13716646409\ 641045488421811712259*c_0110_6^2 - 1096787615040626968960655325914239472/13716646409641045488421811712\ 259*c_0110_6 + 406986352010260161855497835884990239/137166464096410\ 45488421811712259, c_0011_0 - 1, c_0011_3 - 86256638221961303550731397321297/137166464096410454884218117\ 12259*c_0110_6^24 + 458366487450118364352233780821735/1371664640964\ 1045488421811712259*c_0110_6^23 + 225104703624582623204287865505774\ 7/13716646409641045488421811712259*c_0110_6^22 - 15199251890807519333594148619444022/1371664640964104548842181171225\ 9*c_0110_6^21 - 2368086126942272355356640449249335/1371664640964104\ 5488421811712259*c_0110_6^20 + 112421297871916141810933033725732267\ /13716646409641045488421811712259*c_0110_6^19 - 61921965850722825573117803095572321/1371664640964104548842181171225\ 9*c_0110_6^18 - 404882085232151962736251434213858036/13716646409641\ 045488421811712259*c_0110_6^17 + 3421793103536354654974363396063248\ 33/13716646409641045488421811712259*c_0110_6^16 + 907503438776037755346111220188513762/137166464096410454884218117122\ 59*c_0110_6^15 - 1091013208380451219418732813532045298/137166464096\ 41045488421811712259*c_0110_6^14 - 1016492616504850567538527352058330576/13716646409641045488421811712\ 259*c_0110_6^13 + 1885982820029732965870369782673432877/13716646409\ 641045488421811712259*c_0110_6^12 + 314419189365215657149510676715373238/137166464096410454884218117122\ 59*c_0110_6^11 - 1979780338022576349932446528640564398/137166464096\ 41045488421811712259*c_0110_6^10 + 979503796942591744263419572779981086/137166464096410454884218117122\ 59*c_0110_6^9 + 406892753874633779215648345370420648/13716646409641\ 045488421811712259*c_0110_6^8 - 48642029156125134446301496102251546\ 1/13716646409641045488421811712259*c_0110_6^7 + 49197889314378388257259867183270461/1371664640964104548842181171225\ 9*c_0110_6^6 + 88731061365269272588080654148168880/1371664640964104\ 5488421811712259*c_0110_6^5 - 27170736166791282455209772381204547/1\ 3716646409641045488421811712259*c_0110_6^4 - 8004308298936119507505639609847275/13716646409641045488421811712259\ *c_0110_6^3 + 3590817305720011481304104867336269/137166464096410454\ 88421811712259*c_0110_6^2 + 365149050713128390575693260314309/13716\ 646409641045488421811712259*c_0110_6 - 155628716318499213280881915815986/13716646409641045488421811712259, c_0101_0 + 290958319833045503904660536703014/13716646409641045488421811\ 712259*c_0110_6^24 - 1555076990579410557243494506058131/13716646409\ 641045488421811712259*c_0110_6^23 - 7572027801690001456903029383260953/13716646409641045488421811712259\ *c_0110_6^22 + 51623454426454348078307036985324777/1371664640964104\ 5488421811712259*c_0110_6^21 + 7179791798054013462555268897390772/1\ 3716646409641045488421811712259*c_0110_6^20 - 383504061929663720592154086738123077/137166464096410454884218117122\ 59*c_0110_6^19 + 217123918828135828152565057310874857/1371664640964\ 1045488421811712259*c_0110_6^18 + 138983575115110920996632910692186\ 6517/13716646409641045488421811712259*c_0110_6^17 - 1194217377375761287952916546171159245/13716646409641045488421811712\ 259*c_0110_6^16 - 3137771489266146871682390444847834702/13716646409\ 641045488421811712259*c_0110_6^15 + 3799060401782049864171471200935269688/13716646409641045488421811712\ 259*c_0110_6^14 + 3573616670390583255497536896292291523/13716646409\ 641045488421811712259*c_0110_6^13 - 6608628380192896597620130129969501425/13716646409641045488421811712\ 259*c_0110_6^12 - 1192253038831194324133468158004610959/13716646409\ 641045488421811712259*c_0110_6^11 + 7010868736737343770227508979051716743/13716646409641045488421811712\ 259*c_0110_6^10 - 3306217575728073090560156150159821466/13716646409\ 641045488421811712259*c_0110_6^9 - 1640472172687628638722949563105512110/13716646409641045488421811712\ 259*c_0110_6^8 + 1786753527394378025722839795429330054/137166464096\ 41045488421811712259*c_0110_6^7 - 129908186757899195894004308086103\ 864/13716646409641045488421811712259*c_0110_6^6 - 352992819586006426304231954032499446/137166464096410454884218117122\ 59*c_0110_6^5 + 100190626746309422969901514416912566/13716646409641\ 045488421811712259*c_0110_6^4 + 34022837613648244763354480251629502\ /13716646409641045488421811712259*c_0110_6^3 - 14495039474478454822838613183983345/1371664640964104548842181171225\ 9*c_0110_6^2 - 1566383091891191636696275790849570/13716646409641045\ 488421811712259*c_0110_6 + 694680987560065119032134491544246/137166\ 46409641045488421811712259, c_0101_1 + 382778430287093366367923682880101/13716646409641045488421811\ 712259*c_0110_6^24 - 2088000457259843983875741450825172/13716646409\ 641045488421811712259*c_0110_6^23 - 9782753452153353017424763986946316/13716646409641045488421811712259\ *c_0110_6^22 + 69201230559249343258068143431931177/1371664640964104\ 5488421811712259*c_0110_6^21 + 3425644284333434895965513165438175/1\ 3716646409641045488421811712259*c_0110_6^20 - 511983679708349451285627475711282856/137166464096410454884218117122\ 59*c_0110_6^19 + 331593292681311462896594101821731171/1371664640964\ 1045488421811712259*c_0110_6^18 + 184707667432382943105225903781487\ 3154/13716646409641045488421811712259*c_0110_6^17 - 1741505693067208281218421189325925636/13716646409641045488421811712\ 259*c_0110_6^16 - 4146062083655665321882700436716004737/13716646409\ 641045488421811712259*c_0110_6^15 + 5395102376443104860719846304726495282/13716646409641045488421811712\ 259*c_0110_6^14 + 4610916785705844992796506269725540026/13716646409\ 641045488421811712259*c_0110_6^13 - 9227194528898456376664314233448721902/13716646409641045488421811712\ 259*c_0110_6^12 - 1277103226992747027421292940191706659/13716646409\ 641045488421811712259*c_0110_6^11 + 9619205347432406838213166681200286399/13716646409641045488421811712\ 259*c_0110_6^10 - 4787703059951193457946331933751002300/13716646409\ 641045488421811712259*c_0110_6^9 - 2120545233863684122340531297672561161/13716646409641045488421811712\ 259*c_0110_6^8 + 2477109189153040367748623992127071438/137166464096\ 41045488421811712259*c_0110_6^7 - 220532671781775647393706475789251\ 660/13716646409641045488421811712259*c_0110_6^6 - 474265701784698261988095766770385117/137166464096410454884218117122\ 59*c_0110_6^5 + 140802118712026736462862018291513382/13716646409641\ 045488421811712259*c_0110_6^4 + 45106640813834382302771317600559483\ /13716646409641045488421811712259*c_0110_6^3 - 19666058388606601542223730026011266/1371664640964104548842181171225\ 9*c_0110_6^2 - 2091614411356024589727540330962635/13716646409641045\ 488421811712259*c_0110_6 + 918901750124912678540328684909571/137166\ 46409641045488421811712259, c_0101_3 + 50654768038330751588736516067114/137166464096410454884218117\ 12259*c_0110_6^24 - 234850962323925108636248395378975/1371664640964\ 1045488421811712259*c_0110_6^23 - 146639909542013521308529673507326\ 7/13716646409641045488421811712259*c_0110_6^22 + 7873238919443489996089623029892152/13716646409641045488421811712259\ *c_0110_6^21 + 6261391001684654217271652720809874/13716646409641045\ 488421811712259*c_0110_6^20 - 59775978621823293603250663326745793/1\ 3716646409641045488421811712259*c_0110_6^19 - 998793278532383243759686657715261/13716646409641045488421811712259*\ c_0110_6^18 + 221405280640295311599179763637704556/1371664640964104\ 5488421811712259*c_0110_6^17 - 61456875433537229529937419360896703/\ 13716646409641045488421811712259*c_0110_6^16 - 514487706506588513671408954325581428/137166464096410454884218117122\ 59*c_0110_6^15 + 312879327622408614511541002751137180/1371664640964\ 1045488421811712259*c_0110_6^14 + 663465597301916348953259446285769\ 782/13716646409641045488421811712259*c_0110_6^13 - 658962734670908200825681089895095989/137166464096410454884218117122\ 59*c_0110_6^12 - 417408607839242161413696643836481766/1371664640964\ 1045488421811712259*c_0110_6^11 + 816231939877422799028363559154105\ 395/13716646409641045488421811712259*c_0110_6^10 - 212725373787421982633407981835500629/137166464096410454884218117122\ 59*c_0110_6^9 - 247077942261019962735516068860870385/13716646409641\ 045488421811712259*c_0110_6^8 + 16364823860997360388458662582104842\ 6/13716646409641045488421811712259*c_0110_6^7 + 11469490956052481990933500786815932/1371664640964104548842181171225\ 9*c_0110_6^6 - 37905683444477997675272408793297590/1371664640964104\ 5488421811712259*c_0110_6^5 + 6500051439617524236352845453562053/13\ 716646409641045488421811712259*c_0110_6^4 + 4006564227486043800834581543474406/13716646409641045488421811712259\ *c_0110_6^3 - 1229266694751121163482374369873389/137166464096410454\ 88421811712259*c_0110_6^2 - 181952457716619964968534885713532/13716\ 646409641045488421811712259*c_0110_6 + 68771058325893272796835533663384/13716646409641045488421811712259, c_0101_5 + 206495555305153844991519564466249/13716646409641045488421811\ 712259*c_0110_6^24 - 1145267460871082849257658643754887/13716646409\ 641045488421811712259*c_0110_6^23 - 5195860970370737132023939994129681/13716646409641045488421811712259\ *c_0110_6^22 + 37899701798902914667436388328657492/1371664640964104\ 5488421811712259*c_0110_6^21 - 892118273306753798045205276944078/13\ 716646409641045488421811712259*c_0110_6^20 - 279280433344221680538379639105235460/137166464096410454884218117122\ 59*c_0110_6^19 + 199676520494045832357771469260927828/1371664640964\ 1045488421811712259*c_0110_6^18 + 100278162577073738752526826891853\ 7354/13716646409641045488421811712259*c_0110_6^17 - 1016151683389041963547255776901904584/13716646409641045488421811712\ 259*c_0110_6^16 - 2236987384140873241036313447149654630/13716646409\ 641045488421811712259*c_0110_6^15 + 3088147726720082805083450575015511528/13716646409641045488421811712\ 259*c_0110_6^14 + 2428099892402969684109290832184493726/13716646409\ 641045488421811712259*c_0110_6^13 - 5211853186169246286472333067738184148/13716646409641045488421811712\ 259*c_0110_6^12 - 531834701716493119570030063215092760/137166464096\ 41045488421811712259*c_0110_6^11 + 5354186611688838268744106967529656129/13716646409641045488421811712\ 259*c_0110_6^10 - 2800770325937604139131659103130845944/13716646409\ 641045488421811712259*c_0110_6^9 - 1108667430095762888709134459466348717/13716646409641045488421811712\ 259*c_0110_6^8 + 1395675064648863280046261862344199164/137166464096\ 41045488421811712259*c_0110_6^7 - 147800515820128677637920237128335\ 333/13716646409641045488421811712259*c_0110_6^6 - 259765342069631233461181820936655426/137166464096410454884218117122\ 59*c_0110_6^5 + 81458035980896556481303701875919079/137166464096410\ 45488421811712259*c_0110_6^4 + 23997382815530250688434982212315341/\ 13716646409641045488421811712259*c_0110_6^3 - 11002149599996389543713810491710153/1371664640964104548842181171225\ 9*c_0110_6^2 - 1086170023018395409540797485371184/13716646409641045\ 488421811712259*c_0110_6 + 492598009788774854636934100274472/137166\ 46409641045488421811712259, c_0110_6^25 - 5*c_0110_6^24 - 28*c_0110_6^23 + 169*c_0110_6^22 + 90*c_0110_6^21 - 1328*c_0110_6^20 + 265*c_0110_6^19 + 5177*c_0110_6^18 - 2374*c_0110_6^17 - 12740*c_0110_6^16 + 9192*c_0110_6^15 + 18073*c_0110_6^14 - 18560*c_0110_6^13 - 13761*c_0110_6^12 + 23355*c_0110_6^11 - 1516*c_0110_6^10 - 10809*c_0110_6^9 + 3983*c_0110_6^8 + 2198*c_0110_6^7 - 1458*c_0110_6^6 - 168*c_0110_6^5 + 271*c_0110_6^4 - 27*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB