Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 728414149] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1912 geometric_solution 5.51964312 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 2310 0 0 0 0 0 1 0 -1 0 0 0 0 -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 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.182868595436 0.176107391140 0 3 0 4 0132 0132 2310 0132 0 0 0 0 0 1 -1 0 0 0 0 0 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 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.536189639861 1.801637910517 0 2 2 0 3201 3201 2310 0132 0 0 0 0 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 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.840657695767 0.742197898240 5 1 4 6 0132 0132 3012 0132 0 0 0 0 0 -1 0 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 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.572485131434 1.045107818512 6 3 1 5 3201 1230 0132 3201 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 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.572485131434 1.045107818512 3 4 6 6 0132 2310 3012 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 0.538876221778 0.570884217367 5 5 3 4 3012 1230 0132 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730843595674 1.262870638090 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_6'], '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_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], '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_0'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), '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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 1224108561341177291790340064835/6359853131637715242040950784*c_0101\ _5^27 - 4462299751628728412371966715397/317992656581885762102047539\ 2*c_0101_5^26 - 2470733315346379631917107293687/7949816414547144052\ 55118848*c_0101_5^25 + 265056031508392075269221043739597/6359853131\ 637715242040950784*c_0101_5^24 - 570189634972309463849884863260283/\ 6359853131637715242040950784*c_0101_5^23 - 302045119398358487521817966376353/3179926565818857621020475392*c_01\ 01_5^22 + 4483530920523822741059563239881129/6359853131637715242040\ 950784*c_0101_5^21 - 6018197255067126452971204290011907/63598531316\ 37715242040950784*c_0101_5^20 - 5051012680263094938904368131028981/\ 6359853131637715242040950784*c_0101_5^19 + 25369194810410466398961506477804379/6359853131637715242040950784*c_\ 0101_5^18 - 3194040291590301051872133194609055/79498164145471440525\ 5118848*c_0101_5^17 - 17043059688489463415665221892453521/635985313\ 1637715242040950784*c_0101_5^16 + 682623497106875419803368665399080\ 87/6359853131637715242040950784*c_0101_5^15 - 57708118851086157057627557364434935/6359853131637715242040950784*c_\ 0101_5^14 - 1655187231393592912714870247361791/39749082072735720262\ 7559424*c_0101_5^13 + 24889055851682084532646973434280817/158996328\ 2909428810510237696*c_0101_5^12 - 479260267651045771435503808035994\ 7/397490820727357202627559424*c_0101_5^11 - 1093730151782165662776310661370411/397490820727357202627559424*c_01\ 01_5^10 + 631946665356201967058010369238803/49686352590919650328444\ 928*c_0101_5^9 - 942838906869283049143992920740043/9937270518183930\ 0656889856*c_0101_5^8 - 1408736547231469983816048606527/24843176295\ 459825164222464*c_0101_5^7 + 133154012916419853020093674923627/2484\ 3176295459825164222464*c_0101_5^6 - 3167534980668141348994712087735/776349259233119536381952*c_0101_5^5 + 4724340213220201089002565845827/6210794073864956291055616*c_0101_\ 5^4 + 1325558517937691468862898591811/1552698518466239072763904*c_0\ 101_5^3 - 1140349929346248346702852713529/1552698518466239072763904\ *c_0101_5^2 + 48957346999606411656877055815/19408731480827988409548\ 8*c_0101_5 - 13668857969124778006526767781/388174629616559768190976\ , c_0011_0 - 1, c_0011_2 - 2310945836926405391771655235/6359853131637715242040950784*c_\ 0101_5^27 + 8634258698485492180579413227/31799265658188576210204753\ 92*c_0101_5^26 + 987520718155344700484893873/1987454103636786013137\ 79712*c_0101_5^25 - 491693705463011604230448543773/6359853131637715\ 242040950784*c_0101_5^24 + 1235216230963046722329408364239/63598531\ 31637715242040950784*c_0101_5^23 + 226965861752161861032108717027/3179926565818857621020475392*c_0101_\ 5^22 - 8209500268563668741536847745201/6359853131637715242040950784\ *c_0101_5^21 + 15354416899051097102523347476503/6359853131637715242\ 040950784*c_0101_5^20 + 761279510463524608169928963193/635985313163\ 7715242040950784*c_0101_5^19 - 48418998080729908978219900457711/635\ 9853131637715242040950784*c_0101_5^18 + 19088424287481336711634983984465/1589963282909428810510237696*c_010\ 1_5^17 - 6516254857232703456600059656719/63598531316377152420409507\ 84*c_0101_5^16 - 139021191309551529898533209020491/6359853131637715\ 242040950784*c_0101_5^15 + 194347629948454811461118713842083/635985\ 3131637715242040950784*c_0101_5^14 - 8502421702123989762635411757563/1589963282909428810510237696*c_0101\ _5^13 - 53952518507601513490597607990409/15899632829094288105102376\ 96*c_0101_5^12 + 17431490208426362000244130982117/39749082072735720\ 2627559424*c_0101_5^11 - 4425977497888499665776614667953/3974908207\ 27357202627559424*c_0101_5^10 - 2863291360848032568818358004467/993\ 72705181839300656889856*c_0101_5^9 + 3584150083236037438032024141339/99372705181839300656889856*c_0101_5\ ^8 - 294218386507908069005787492233/24843176295459825164222464*c_01\ 01_5^7 - 302459793046074120290712494647/24843176295459825164222464*\ c_0101_5^6 + 98764415886464850092066741367/621079407386495629105561\ 6*c_0101_5^5 - 39173147225975463581926224859/6210794073864956291055\ 616*c_0101_5^4 - 2482871987191673224169415713/155269851846623907276\ 3904*c_0101_5^3 + 4529763430951737135877839861/15526985184662390727\ 63904*c_0101_5^2 - 514932079855456615762432985/38817462961655976819\ 0976*c_0101_5 + 90831115634815662528466181/388174629616559768190976\ , c_0011_4 - 78027136094920009714534831585/6359853131637715242040950784*c\ _0101_5^27 + 264969744257555809975124502447/31799265658188576210204\ 75392*c_0101_5^26 + 47550587868368915060500367663/19874541036367860\ 1313779712*c_0101_5^25 - 16129256832092408008360235719999/635985313\ 1637715242040950784*c_0101_5^24 + 28439857243612059987482514816825/\ 6359853131637715242040950784*c_0101_5^23 + 26144515551411213499175043991879/3179926565818857621020475392*c_010\ 1_5^22 - 261278641421190574817837713980059/635985313163771524204095\ 0784*c_0101_5^21 + 261461788187525337644487858692001/63598531316377\ 15242040950784*c_0101_5^20 + 446122689849712846827146423209407/6359\ 853131637715242040950784*c_0101_5^19 - 1426994256882940961912787909972273/6359853131637715242040950784*c_0\ 101_5^18 + 62751636413165209257861542368611/39749082072735720262755\ 9424*c_0101_5^17 + 1548076031553632834920053734697491/6359853131637\ 715242040950784*c_0101_5^16 - 3760843646878795371956610173804525/63\ 59853131637715242040950784*c_0101_5^15 + 2166519924553652706256268287789477/6359853131637715242040950784*c_0\ 101_5^14 + 327797562211475756059242292846951/7949816414547144052551\ 18848*c_0101_5^13 - 1368310857576215748503575583470425/158996328290\ 9428810510237696*c_0101_5^12 + 182726509590136818568957097638365/39\ 7490820727357202627559424*c_0101_5^11 + 139521985658690879780701489851421/397490820727357202627559424*c_010\ 1_5^10 - 17707748365346183885957591085863/2484317629545982516422246\ 4*c_0101_5^9 + 38334369439913610777466721681007/9937270518183930065\ 6889856*c_0101_5^8 + 3090774318602190062496348300125/24843176295459\ 825164222464*c_0101_5^7 - 7808630478658469407831249199577/248431762\ 95459825164222464*c_0101_5^6 + 566179804894419409466878927015/31053\ 97036932478145527808*c_0101_5^5 - 39979635393405593411280280019/621\ 0794073864956291055616*c_0101_5^4 - 85912116017164498539359560157/1552698518466239072763904*c_0101_5^3 + 56913155651817824891627255847/1552698518466239072763904*c_0101_5^2 - 132774783842209461823129551/12130457175517492755968*c_0101_5 + 521925494846182497489875761/388174629616559768190976, c_0011_6 - 17048205269762094060507142745/3179926565818857621020475392*c\ _0101_5^27 + 31373623810529636117440487537/794981641454714405255118\ 848*c_0101_5^26 + 33854578059521596942904830185/3974908207273572026\ 27559424*c_0101_5^25 - 3739154162708691132272647126327/317992656581\ 8857621020475392*c_0101_5^24 + 8113145881826406482145211497723/3179\ 926565818857621020475392*c_0101_5^23 + 2176693827763870571809162816351/794981641454714405255118848*c_0101_\ 5^22 - 64457273755483560809719653134443/317992656581885762102047539\ 2*c_0101_5^21 + 85542190833697563834578463766171/317992656581885762\ 1020475392*c_0101_5^20 + 77162555901725580175443590028773/317992656\ 5818857621020475392*c_0101_5^19 - 371005905791558033477858481565191\ /3179926565818857621020475392*c_0101_5^18 + 180799311681431368171980365211373/1589963282909428810510237696*c_01\ 01_5^17 + 275372307464518594401587538908703/31799265658188576210204\ 75392*c_0101_5^16 - 1015866008426957458435582400620991/317992656581\ 8857621020475392*c_0101_5^15 + 816799500990942456291711856671927/31\ 79926565818857621020475392*c_0101_5^14 + 229903601326784426483087103725143/1589963282909428810510237696*c_01\ 01_5^13 - 189180938210770946928811284348931/39749082072735720262755\ 9424*c_0101_5^12 + 34309514599387219676175014366617/993727051818393\ 00656889856*c_0101_5^11 + 21900567932308140689661738517569/19874541\ 0363678601313779712*c_0101_5^10 - 39536816865625377642640867642435/\ 99372705181839300656889856*c_0101_5^9 + 1732683956306011606785740237907/6210794073864956291055616*c_0101_5^\ 8 + 242880593918966929004393288873/12421588147729912582111232*c_010\ 1_5^7 - 2166750746128122194319516661911/12421588147729912582111232*\ c_0101_5^6 + 777205920364380378871873230129/62107940738649562910556\ 16*c_0101_5^5 - 29550190284432546873216753351/155269851846623907276\ 3904*c_0101_5^4 - 5740386981008882625371273023/19408731480827988409\ 5488*c_0101_5^3 + 18515584289714131044641235183/7763492592331195363\ 81952*c_0101_5^2 - 3099743130553563592158213493/3881746296165597681\ 90976*c_0101_5 + 6617082907928513444758167/6065228587758746377984, c_0101_0 + 1206221201148423663098644675/3179926565818857621020475392*c_\ 0101_5^27 - 69569320857940827782662675/24843176295459825164222464*c\ _0101_5^26 - 2248815074838147091495386311/3974908207273572026275594\ 24*c_0101_5^25 + 257124791092249129099345231885/3179926565818857621\ 020475392*c_0101_5^24 - 590622721897267029284901860037/317992656581\ 8857621020475392*c_0101_5^23 - 47711379825480295405902395661/397490\ 820727357202627559424*c_0101_5^22 + 3981004971213062175101695199145/3179926565818857621020475392*c_0101\ _5^21 - 6290929109197765901472378270645/317992656581885762102047539\ 2*c_0101_5^20 - 1728083231498102403768530111963/3179926565818857621\ 020475392*c_0101_5^19 + 19710647209943894274900367838257/3179926565\ 818857621020475392*c_0101_5^18 - 13072913109179245976029388133021/1\ 589963282909428810510237696*c_0101_5^17 - 645082117250026146971907003821/3179926565818857621020475392*c_0101_\ 5^16 + 44182898270449635755319989778865/317992656581885762102047539\ 2*c_0101_5^15 - 54802236232806547939245935978025/317992656581885762\ 1020475392*c_0101_5^14 + 4913664603662738813229286191873/1589963282\ 909428810510237696*c_0101_5^13 + 3074317711040952063832746749455/19\ 8745410363678601313779712*c_0101_5^12 - 1939884070685487194053843569433/99372705181839300656889856*c_0101_5\ ^11 + 1337388086919287078314479327665/198745410363678601313779712*c\ _0101_5^10 + 786249443528881023335346002527/99372705181839300656889\ 856*c_0101_5^9 - 284888784427201778391053237523/2484317629545982516\ 4222464*c_0101_5^8 + 67827367355591794939398749177/1242158814772991\ 2582111232*c_0101_5^7 + 11793723507528377909586244665/1242158814772\ 9912582111232*c_0101_5^6 - 17488121570808444271486302593/6210794073\ 864956291055616*c_0101_5^5 + 640021159955628788791070267/3881746296\ 16559768190976*c_0101_5^4 - 35805005322572731989116419/970436574041\ 39942047744*c_0101_5^3 - 46827107192323414917614577/776349259233119\ 536381952*c_0101_5^2 + 20887710448468145927534609/38817462961655976\ 8190976*c_0101_5 - 887495125518171688457069/97043657404139942047744\ , c_0101_1 + 103094041058398410716606748195/6359853131637715242040950784*\ c_0101_5^27 - 366077693079489566683369468759/3179926565818857621020\ 475392*c_0101_5^26 - 14155177779080167525111696763/4968635259091965\ 0328444928*c_0101_5^25 + 22043627468204887582487823738301/635985313\ 1637715242040950784*c_0101_5^24 - 43718130995951441841336539767447/\ 6359853131637715242040950784*c_0101_5^23 - 30451206290855579173709483609855/3179926565818857621020475392*c_010\ 1_5^22 + 370173145264696668593825065485937/635985313163771524204095\ 0784*c_0101_5^21 - 435374458288665981097073087071231/63598531316377\ 15242040950784*c_0101_5^20 - 532431399023031461180917694554769/6359\ 853131637715242040950784*c_0101_5^19 + 2082797376457737756930427023648263/6359853131637715242040950784*c_0\ 101_5^18 - 442153362268190300573731860117003/1589963282909428810510\ 237696*c_0101_5^17 - 1880841597448860848969934620613281/63598531316\ 37715242040950784*c_0101_5^16 + 5607862828905212473205648668575507/\ 6359853131637715242040950784*c_0101_5^15 - 3915837081604894596957480611545323/6359853131637715242040950784*c_0\ 101_5^14 - 795220049823861370204921961340587/1589963282909428810510\ 237696*c_0101_5^13 + 2067002051022451711551135965822973/15899632829\ 09428810510237696*c_0101_5^12 - 328677273971520040496708605251077/3\ 97490820727357202627559424*c_0101_5^11 - 162561833040658780961129965350791/397490820727357202627559424*c_010\ 1_5^10 + 107552928690086195888715635672229/993727051818393006568898\ 56*c_0101_5^9 - 67250678735546764959292777312343/993727051818393006\ 56889856*c_0101_5^8 - 2934260887040346629983972419551/2484317629545\ 9825164222464*c_0101_5^7 + 11823563225923149466537784778015/2484317\ 6295459825164222464*c_0101_5^6 - 1922680337113465917222174811737/62\ 10794073864956291055616*c_0101_5^5 + 193447014918675462095432805591/6210794073864956291055616*c_0101_5^4 + 127732029102317683753294374881/1552698518466239072763904*c_0101_5\ ^3 - 93566573236109132733858993117/1552698518466239072763904*c_0101\ _5^2 + 7419692004201073281427639247/388174629616559768190976*c_0101\ _5 - 963829392759516022507438457/388174629616559768190976, c_0101_5^28 - 1632/205*c_0101_5^27 - 468/41*c_0101_5^26 + 46867/205*c_0101_5^25 - 124971/205*c_0101_5^24 - 44252/205*c_0101_5^23 + 839963/205*c_0101_5^22 - 1515339/205*c_0101_5^21 - 282601/205*c_0101_5^20 + 1015319/41*c_0101_5^19 - 7238682/205*c_0101_5^18 - 109243/41*c_0101_5^17 + 14540471/205*c_0101_5^16 - 3598471/41*c_0101_5^15 + 848762/205*c_0101_5^14 + 22304564/205*c_0101_5^13 - 25789336/205*c_0101_5^12 + 927184/41*c_0101_5^11 + 3715488/41*c_0101_5^10 - 4314816/41*c_0101_5^9 + 6706816/205*c_0101_5^8 + 7444224/205*c_0101_5^7 - 9753088/205*c_0101_5^6 + 846848/41*c_0101_5^5 + 636928/205*c_0101_5^4 - 1789952/205*c_0101_5^3 + 24576/5*c_0101_5^2 - 278528/205*c_0101_5 + 32768/205 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB