Magma V2.19-8 Tue Aug 20 2013 23:47:19 on localhost [Seed = 947802744] Type ? for help. Type -D to quit. Loading file "L10a116__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a116 geometric_solution 11.20211794 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1230 1 1 0 1 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 1 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696269436719 1.009190907382 0 4 6 5 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500000000000 0.491442373599 0 0 7 7 3012 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.273454121479 0.908592833075 5 8 7 0 0132 0132 0132 0132 1 1 1 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 -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.408616420175 0.442945775138 6 1 9 10 0321 0132 0132 0132 1 1 0 1 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 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 1.125143292521 1.219670681942 3 8 1 7 0132 0321 0132 0321 1 1 0 1 0 0 1 -1 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 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.200067075591 1.146029238360 4 10 8 1 0321 0132 0321 0132 1 1 0 1 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 -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.147824456579 0.846771758337 2 5 2 3 2031 0321 0132 0132 1 1 0 1 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 0 0 0 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696269436719 1.009190907382 9 3 6 5 0132 0132 0321 0321 1 1 0 1 0 1 -1 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 1 -1 0 1 0 0 -1 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.017261696919 0.999851005810 8 11 11 4 0132 0132 1302 0132 1 1 1 0 0 0 1 -1 -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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.463173791318 0.671336057688 11 6 4 11 3012 0132 0132 0132 1 1 1 0 0 1 0 -1 1 0 -1 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 0 -1 1 0 -1 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.463173791318 0.671336057688 9 9 10 10 2031 0132 0132 1230 1 1 0 1 0 0 1 -1 -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 1 -1 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.303730563281 1.009190907382 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_0']), 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : d['c_1001_11'], 'c_1001_4' : d['c_1001_11'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1001_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_10'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : d['c_0101_11'], 'c_1100_8' : d['c_1001_11'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_0101_11'], 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : d['c_1001_0'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_0101_7'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_11'], 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_11'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : d['c_1001_3'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_11'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_7']), 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0101_4'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : negation(d['c_0011_7']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_7, c_0101_0, c_0101_11, c_0101_4, c_0101_7, c_1001_0, c_1001_1, c_1001_11, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 837279421091566009/496273335805384229*c_1001_11^13 - 5191966200065765580/496273335805384229*c_1001_11^12 + 14010833195233861035/496273335805384229*c_1001_11^11 - 6830765400872686502/496273335805384229*c_1001_11^10 + 150021730290573217420/496273335805384229*c_1001_11^9 - 25307506103373130891/496273335805384229*c_1001_11^8 + 36001574991406408162/496273335805384229*c_1001_11^7 + 47760253204395025857/496273335805384229*c_1001_11^6 - 142077670585289654017/496273335805384229*c_1001_11^5 - 106247252353776584522/496273335805384229*c_1001_11^4 - 133609375411201290441/496273335805384229*c_1001_11^3 - 118878076971380143667/496273335805384229*c_1001_11^2 - 38010014001320798136/496273335805384229*c_1001_11 - 31820707539153435325/496273335805384229, c_0011_0 - 1, c_0011_10 + 22039994486663084/496273335805384229*c_1001_11^13 - 100043588656951119/496273335805384229*c_1001_11^12 + 192336201940154169/496273335805384229*c_1001_11^11 + 182338009136406820/496273335805384229*c_1001_11^10 + 4184349898000398633/496273335805384229*c_1001_11^9 + 6143912849264014785/496273335805384229*c_1001_11^8 + 9265921307400527556/496273335805384229*c_1001_11^7 + 12969379500145098034/496273335805384229*c_1001_11^6 + 13241803414902321349/496273335805384229*c_1001_11^5 + 11281829425604914501/496273335805384229*c_1001_11^4 + 8610837528334546127/496273335805384229*c_1001_11^3 + 5192703522238256852/496273335805384229*c_1001_11^2 + 1963268886334839305/496273335805384229*c_1001_11 + 621291614718403356/496273335805384229, c_0011_11 + 24902899277989562/496273335805384229*c_1001_11^13 - 79299069093958813/496273335805384229*c_1001_11^12 + 52395591393129810/496273335805384229*c_1001_11^11 + 547513460282613986/496273335805384229*c_1001_11^10 + 4927855584112520891/496273335805384229*c_1001_11^9 + 13229001541773574143/496273335805384229*c_1001_11^8 + 17497133341393954926/496273335805384229*c_1001_11^7 + 24363014886135171400/496273335805384229*c_1001_11^6 + 27218491162102776335/496273335805384229*c_1001_11^5 + 23731016918598372133/496273335805384229*c_1001_11^4 + 17192386978778246939/496273335805384229*c_1001_11^3 + 9185470197485070830/496273335805384229*c_1001_11^2 + 3563602959162257502/496273335805384229*c_1001_11 + 668001414494132064/496273335805384229, c_0011_7 - 110973735338341519/496273335805384229*c_1001_11^13 + 486427876296572764/496273335805384229*c_1001_11^12 - 859890448754273613/496273335805384229*c_1001_11^11 - 1187711367186851705/496273335805384229*c_1001_11^10 - 21034512672541065631/496273335805384229*c_1001_11^9 - 33832665400390906540/496273335805384229*c_1001_11^8 - 45492320754677878937/496273335805384229*c_1001_11^7 - 61320754941967639100/496273335805384229*c_1001_11^6 - 60422803916917812820/496273335805384229*c_1001_11^5 - 49979776724768237439/496273335805384229*c_1001_11^4 - 31533681788603029479/496273335805384229*c_1001_11^3 - 15688271729540740557/496273335805384229*c_1001_11^2 - 5416051774271994664/496273335805384229*c_1001_11 - 532703320253649951/496273335805384229, c_0101_0 - 1, c_0101_11 + 42929089814444863/496273335805384229*c_1001_11^13 - 172028181454264050/496273335805384229*c_1001_11^12 + 250345433488775031/496273335805384229*c_1001_11^11 + 635386242651874153/496273335805384229*c_1001_11^10 + 8223972407568010842/496273335805384229*c_1001_11^9 + 16003941491152364004/496273335805384229*c_1001_11^8 + 20375165580366008162/496273335805384229*c_1001_11^7 + 26917585369265367573/496273335805384229*c_1001_11^6 + 28543783631314578106/496273335805384229*c_1001_11^5 + 23162274607116784294/496273335805384229*c_1001_11^4 + 14975091151396352082/496273335805384229*c_1001_11^3 + 7604815310560556256/496273335805384229*c_1001_11^2 + 2683960729312714354/496273335805384229*c_1001_11 + 696059720589290098/496273335805384229, c_0101_4 + 22220406925207253/496273335805384229*c_1001_11^13 - 97026232449416937/496273335805384229*c_1001_11^12 + 167048057159169443/496273335805384229*c_1001_11^11 + 261822224298312111/496273335805384229*c_1001_11^10 + 4163824308192336854/496273335805384229*c_1001_11^9 + 6851136096722341771/496273335805384229*c_1001_11^8 + 8614614595630959714/496273335805384229*c_1001_11^7 + 12499784633215417542/496273335805384229*c_1001_11^6 + 12706745972619957944/496273335805384229*c_1001_11^5 + 11059650463804399222/496273335805384229*c_1001_11^4 + 7464897111660985891/496273335805384229*c_1001_11^3 + 4472132093582524853/496273335805384229*c_1001_11^2 + 2196211130660495010/496273335805384229*c_1001_11 + 632149970421715310/496273335805384229, c_0101_7 + 86070836060351957/496273335805384229*c_1001_11^13 - 407128807202613951/496273335805384229*c_1001_11^12 + 807494857361143803/496273335805384229*c_1001_11^11 + 640197906904237719/496273335805384229*c_1001_11^10 + 16106657088428544740/496273335805384229*c_1001_11^9 + 20603663858617332397/496273335805384229*c_1001_11^8 + 27995187413283924011/496273335805384229*c_1001_11^7 + 36957740055832467700/496273335805384229*c_1001_11^6 + 33204312754815036485/496273335805384229*c_1001_11^5 + 26248759806169865306/496273335805384229*c_1001_11^4 + 14341294809824782540/496273335805384229*c_1001_11^3 + 6502801532055669727/496273335805384229*c_1001_11^2 + 1356175479304352933/496273335805384229*c_1001_11 - 135298094240482113/496273335805384229, c_1001_0 - 24902899277989562/496273335805384229*c_1001_11^13 + 79299069093958813/496273335805384229*c_1001_11^12 - 52395591393129810/496273335805384229*c_1001_11^11 - 547513460282613986/496273335805384229*c_1001_11^10 - 4927855584112520891/496273335805384229*c_1001_11^9 - 13229001541773574143/496273335805384229*c_1001_11^8 - 17497133341393954926/496273335805384229*c_1001_11^7 - 24363014886135171400/496273335805384229*c_1001_11^6 - 27218491162102776335/496273335805384229*c_1001_11^5 - 23731016918598372133/496273335805384229*c_1001_11^4 - 17192386978778246939/496273335805384229*c_1001_11^3 - 9185470197485070830/496273335805384229*c_1001_11^2 - 4059876294967641731/496273335805384229*c_1001_11 - 668001414494132064/496273335805384229, c_1001_1 - 24902899277989562/496273335805384229*c_1001_11^13 + 79299069093958813/496273335805384229*c_1001_11^12 - 52395591393129810/496273335805384229*c_1001_11^11 - 547513460282613986/496273335805384229*c_1001_11^10 - 4927855584112520891/496273335805384229*c_1001_11^9 - 13229001541773574143/496273335805384229*c_1001_11^8 - 17497133341393954926/496273335805384229*c_1001_11^7 - 24363014886135171400/496273335805384229*c_1001_11^6 - 27218491162102776335/496273335805384229*c_1001_11^5 - 23731016918598372133/496273335805384229*c_1001_11^4 - 17192386978778246939/496273335805384229*c_1001_11^3 - 9185470197485070830/496273335805384229*c_1001_11^2 - 3563602959162257502/496273335805384229*c_1001_11 - 668001414494132064/496273335805384229, c_1001_11^14 - 4*c_1001_11^13 + 6*c_1001_11^12 + 14*c_1001_11^11 + 193*c_1001_11^10 + 377*c_1001_11^9 + 514*c_1001_11^8 + 694*c_1001_11^7 + 737*c_1001_11^6 + 636*c_1001_11^5 + 440*c_1001_11^4 + 238*c_1001_11^3 + 99*c_1001_11^2 + 25*c_1001_11 + 1, c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB