Magma V2.19-8 Tue Aug 20 2013 16:18:40 on localhost [Seed = 4256981233] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2838 geometric_solution 6.05721108 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.257987353614 0.169655217987 2 0 3 0 0132 2310 0132 0132 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 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.036051257021 1.609813670497 1 4 5 3 0132 0132 0132 1230 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 -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.655622886043 0.914587312152 2 6 4 1 3012 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -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.655622886043 0.914587312152 3 2 6 5 2310 0132 0321 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.749993029104 0.640695876603 4 6 6 2 3012 2310 3201 0132 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 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.076503522670 0.897647995999 5 3 4 5 2310 0132 0321 3201 0 0 0 0 0 0 0 0 0 0 0 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 -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 1.076503522670 0.897647995999 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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_0011_3, c_0011_5, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 10632742683424279473500002548221/149914981610576053019638050235*c_0\ 101_5^20 + 73331341749591965018974046633548/14991498161057605301963\ 8050235*c_0101_5^19 - 35595049594512875995210366969280/299829963221\ 15210603927610047*c_0101_5^18 + 311911078558500285665230065755668/1\ 49914981610576053019638050235*c_0101_5^17 - 107806050783415948006695593596464/149914981610576053019638050235*c_\ 0101_5^16 - 308655976545506003895043123550781/149914981610576053019\ 638050235*c_0101_5^15 + 1400794382484597348278944056665893/14991498\ 1610576053019638050235*c_0101_5^14 - 484714094969977963946403860994257/149914981610576053019638050235*c_\ 0101_5^13 + 4661298947168326178501479737045827/14991498161057605301\ 9638050235*c_0101_5^12 - 1488922717495853659518803506345917/2998299\ 6322115210603927610047*c_0101_5^11 - 13475258166718517718199194801592512/149914981610576053019638050235*\ c_0101_5^10 + 5816965135516487084274033479604666/149914981610576053\ 019638050235*c_0101_5^9 + 12487624468451647791787877854396188/14991\ 4981610576053019638050235*c_0101_5^8 + 6243462623308089565526058400422292/149914981610576053019638050235*c\ _0101_5^7 - 632815637626305298129961617441925/299829963221152106039\ 27610047*c_0101_5^6 - 2473822810481694554424821137250371/1499149816\ 10576053019638050235*c_0101_5^5 + 533581663235061209585100847806683\ /149914981610576053019638050235*c_0101_5^4 - 183157599412053199035094472257921/149914981610576053019638050235*c_\ 0101_5^3 - 62868137718999407013353359413792/14991498161057605301963\ 8050235*c_0101_5^2 + 10561840777249892677757776868333/2998299632211\ 5210603927610047*c_0101_5 + 18940083818768407373059062966221/149914\ 981610576053019638050235, c_0011_0 - 1, c_0011_1 - 21602250692445421219479975500/29982996322115210603927610047*\ c_0101_5^20 + 152560756386694002791882446980/2998299632211521060392\ 7610047*c_0101_5^19 - 379680051391844591842204282515/29982996322115\ 210603927610047*c_0101_5^18 + 649040387403998522026461768654/299829\ 96322115210603927610047*c_0101_5^17 - 219853713205109820508143509312/29982996322115210603927610047*c_0101\ _5^16 - 767400263031065400527582645768/2998299632211521060392761004\ 7*c_0101_5^15 + 2987458541505474359443212078070/2998299632211521060\ 3927610047*c_0101_5^14 - 1248302800703082113124576379483/2998299632\ 2115210603927610047*c_0101_5^13 + 8794667952024630955409183718032/2\ 9982996322115210603927610047*c_0101_5^12 - 16512898984202215433599621460977/29982996322115210603927610047*c_01\ 01_5^11 - 27663871044830788805688922354769/299829963221152106039276\ 10047*c_0101_5^10 + 20624611158472832714399450480095/29982996322115\ 210603927610047*c_0101_5^9 + 32473764906623757637819670101945/29982\ 996322115210603927610047*c_0101_5^8 + 5667610945251143126541306969289/29982996322115210603927610047*c_010\ 1_5^7 - 17489294029262016801113609021063/29982996322115210603927610\ 047*c_0101_5^6 - 8821516152329265903133345222517/299829963221152106\ 03927610047*c_0101_5^5 + 4260637247342073092438778614755/2998299632\ 2115210603927610047*c_0101_5^4 + 1855494207019226026243091911266/29\ 982996322115210603927610047*c_0101_5^3 - 263436213411855688841064331981/29982996322115210603927610047*c_0101\ _5^2 - 122468330422983286391899031204/29982996322115210603927610047\ *c_0101_5 - 13045360813351554889782795554/2998299632211521060392761\ 0047, c_0011_3 + 33530370276583970601353810064/29982996322115210603927610047*\ c_0101_5^20 - 238227220812407376704843704337/2998299632211521060392\ 7610047*c_0101_5^19 + 599380285906720488137073519367/29982996322115\ 210603927610047*c_0101_5^18 - 1032665037558467182686495830594/29982\ 996322115210603927610047*c_0101_5^17 + 385956868071806116754182324871/29982996322115210603927610047*c_0101\ _5^16 + 1172239117018234935391318471952/299829963221152106039276100\ 47*c_0101_5^15 - 4679633141140651426123848528504/299829963221152106\ 03927610047*c_0101_5^14 + 2134318980685539872401230218822/299829963\ 22115210603927610047*c_0101_5^13 - 13743548924231234925598382033218/29982996322115210603927610047*c_01\ 01_5^12 + 26258547600446038586541574614987/299829963221152106039276\ 10047*c_0101_5^11 + 41850698037314469672107914341627/29982996322115\ 210603927610047*c_0101_5^10 - 33712113651979860883752801804567/2998\ 2996322115210603927610047*c_0101_5^9 - 49261347412616646641474882441930/29982996322115210603927610047*c_01\ 01_5^8 - 7126807654193540948899258560459/29982996322115210603927610\ 047*c_0101_5^7 + 27752643759681746702056979810148/29982996322115210\ 603927610047*c_0101_5^6 + 12948656709203455192912521250994/29982996\ 322115210603927610047*c_0101_5^5 - 6977324774792443936721959950758/29982996322115210603927610047*c_010\ 1_5^4 - 2769704606950904474049530820318/299829963221152106039276100\ 47*c_0101_5^3 + 416546298306861530402382145383/29982996322115210603\ 927610047*c_0101_5^2 + 184742964171610084271933279190/2998299632211\ 5210603927610047*c_0101_5 - 3721865619080634456577633733/2998299632\ 2115210603927610047, c_0011_5 + 17881742832637666176810643005/29982996322115210603927610047*\ c_0101_5^20 - 129181645052059791952877554824/2998299632211521060392\ 7610047*c_0101_5^19 + 331737746671754107738847447765/29982996322115\ 210603927610047*c_0101_5^18 - 567105560831292800683965813642/299829\ 96322115210603927610047*c_0101_5^17 + 216842354991892950537705081465/29982996322115210603927610047*c_0101\ _5^16 + 696738679576890729857166752578/2998299632211521060392761004\ 7*c_0101_5^15 - 2610722552073458176648739497198/2998299632211521060\ 3927610047*c_0101_5^14 + 1342126645368771701636940437505/2998299632\ 2115210603927610047*c_0101_5^13 - 7047167007365235163190559793321/2\ 9982996322115210603927610047*c_0101_5^12 + 14685919992884778049703153142605/29982996322115210603927610047*c_01\ 01_5^11 + 21961418203675680348027181532926/299829963221152106039276\ 10047*c_0101_5^10 - 23044992876487495806203150491698/29982996322115\ 210603927610047*c_0101_5^9 - 27868088695815659600407325436862/29982\ 996322115210603927610047*c_0101_5^8 + 1902476678895888492657376974085/29982996322115210603927610047*c_010\ 1_5^7 + 19363290264278326483825753750111/29982996322115210603927610\ 047*c_0101_5^6 + 6336084281851088043351007262438/299829963221152106\ 03927610047*c_0101_5^5 - 6401700993046161026297642102089/2998299632\ 2115210603927610047*c_0101_5^4 - 2086187488217871412647034303366/29\ 982996322115210603927610047*c_0101_5^3 + 744872667544997834310218836483/29982996322115210603927610047*c_0101\ _5^2 + 196451959567073192246250243446/29982996322115210603927610047\ *c_0101_5 - 27391546506745044839564735626/2998299632211521060392761\ 0047, c_0101_0 - 6953793405077548770890430139/29982996322115210603927610047*c\ _0101_5^20 + 51707421992573129359876047330/299829963221152106039276\ 10047*c_0101_5^19 - 141024218273138161206531556997/2998299632211521\ 0603927610047*c_0101_5^18 + 257291853846118217808507782794/29982996\ 322115210603927610047*c_0101_5^17 - 153592910778135096673051060945/29982996322115210603927610047*c_0101\ _5^16 - 213197417427385678219589131436/2998299632211521060392761004\ 7*c_0101_5^15 + 1058965159345904282719566592648/2998299632211521060\ 3927610047*c_0101_5^14 - 772977808424458252709804688445/29982996322\ 115210603927610047*c_0101_5^13 + 3027292624501195384086209032060/29\ 982996322115210603927610047*c_0101_5^12 - 6342708717455931112435563511495/29982996322115210603927610047*c_010\ 1_5^11 - 6709542921259991098502166413351/29982996322115210603927610\ 047*c_0101_5^10 + 9836733166366915178812895742263/29982996322115210\ 603927610047*c_0101_5^9 + 7166542657797206769187645446361/299829963\ 22115210603927610047*c_0101_5^8 - 2549962620396878487903791465953/2\ 9982996322115210603927610047*c_0101_5^7 - 5842525358060910913806166246444/29982996322115210603927610047*c_010\ 1_5^6 + 204601072398437411163534507640/2998299632211521060392761004\ 7*c_0101_5^5 + 2880664855359725861011747247520/29982996322115210603\ 927610047*c_0101_5^4 - 60863181720827460117635681357/29982996322115\ 210603927610047*c_0101_5^3 - 496079378124494141524597823202/2998299\ 6322115210603927610047*c_0101_5^2 - 67377439307477100758368607896/29982996322115210603927610047*c_0101_\ 5 + 28926901537412819026922715414/29982996322115210603927610047, c_0101_4 + c_0101_5, c_0101_5^21 - 7*c_0101_5^20 + 17*c_0101_5^19 - 28*c_0101_5^18 + 6*c_0101_5^17 + 40*c_0101_5^16 - 137*c_0101_5^15 + 44*c_0101_5^14 - 385*c_0101_5^13 + 733*c_0101_5^12 + 1382*c_0101_5^11 - 974*c_0101_5^10 - 1749*c_0101_5^9 - 235*c_0101_5^8 + 1018*c_0101_5^7 + 506*c_0101_5^6 - 287*c_0101_5^5 - 167*c_0101_5^4 + 33*c_0101_5^3 + 22*c_0101_5^2 - c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB