Magma V2.19-8 Tue Aug 20 2013 23:29:50 on localhost [Seed = 1140990482] Type ? for help. Type -D to quit. Loading file "K14n5084__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n5084 geometric_solution 7.49435945 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 4 0132 0132 0132 0132 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 -1 1 0 1 0 -1 0 0 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636982347456 0.312221649686 0 5 2 6 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.010722280921 0.913842397775 7 0 4 1 0132 0132 2031 1302 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 1 0 -1 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.569831225371 0.236238177041 7 6 5 0 1230 1302 1023 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 1 -1 0 0 -1 1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.764417472806 1.124302706378 4 4 0 2 1302 2031 0132 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 0.614082107323 0.442655211772 8 1 3 7 0132 0132 1023 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.091447882460 0.577197640933 8 7 1 3 1302 2310 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.082676834180 0.607367116652 2 3 5 6 0132 3012 1230 3201 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 -1 1 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.921687227445 0.909731139748 5 6 8 8 0132 2031 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.917323165820 0.607367116652 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0110_4']), 'c_1001_8' : negation(d['c_0101_5']), 's_2_8' : 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' : negation(d['1']), 's_2_7' : d['1'], 's_0_8' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_8' : d['c_0101_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_7']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0110_4']), 'c_1010_8' : d['c_0011_6'], 's_3_1' : negation(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_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0011_0'], 'c_0101_8' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_5']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_6, c_0101_3, c_0101_5, c_0101_7, c_0110_4, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 68130321150077080210/12458406242821271841*c_1001_0^16 - 276941150024979063803/12458406242821271841*c_1001_0^15 + 572692690037605183/607727133796159602*c_1001_0^14 + 2196706419717182787254/12458406242821271841*c_1001_0^13 - 3521946148940385539605/12458406242821271841*c_1001_0^12 - 5680763366207025528979/12458406242821271841*c_1001_0^11 + 6552273586725773058452/4152802080940423947*c_1001_0^10 - 3421103210614903410424/12458406242821271841*c_1001_0^9 - 108115021681761688249/31822238168125854*c_1001_0^8 + 24947509679562301483801/8305604161880847894*c_1001_0^7 + 12637550225630737360787/4152802080940423947*c_1001_0^6 - 13645543632580068615757/2768534720626949298*c_1001_0^5 - 4575130557597551452649/8305604161880847894*c_1001_0^4 + 2075080577238871526605/607727133796159602*c_1001_0^3 - 8686532831919449472593/12458406242821271841*c_1001_0^2 - 25886438901582623527159/24916812485642543682*c_1001_0 + 574519374329726470442/1384267360313474649, c_0011_0 - 1, c_0011_3 - 236950189306/14026846092327*c_1001_0^16 + 2436910156682/14026846092327*c_1001_0^15 - 4911425655580/14026846092327*c_1001_0^14 - 10975640518457/14026846092327*c_1001_0^13 + 56604155683219/14026846092327*c_1001_0^12 - 21943191653591/14026846092327*c_1001_0^11 - 73204338298241/4675615364109*c_1001_0^10 + 311503549087312/14026846092327*c_1001_0^9 + 33434137717688/1558538454703*c_1001_0^8 - 295989496520462/4675615364109*c_1001_0^7 + 18880823298355/4675615364109*c_1001_0^6 + 125293669162846/1558538454703*c_1001_0^5 - 165106839695705/4675615364109*c_1001_0^4 - 695434700071843/14026846092327*c_1001_0^3 + 425529974756144/14026846092327*c_1001_0^2 + 195146075784077/14026846092327*c_1001_0 - 15657126853885/1558538454703, c_0011_4 - 2446850197673/14026846092327*c_1001_0^16 + 11661492929206/14026846092327*c_1001_0^15 - 6099304882001/14026846092327*c_1001_0^14 - 82709603774878/14026846092327*c_1001_0^13 + 178515003527477/14026846092327*c_1001_0^12 + 153998698934729/14026846092327*c_1001_0^11 - 294431885762488/4675615364109*c_1001_0^10 + 484488386586080/14026846092327*c_1001_0^9 + 188121107199976/1558538454703*c_1001_0^8 - 758597201950954/4675615364109*c_1001_0^7 - 362758996701751/4675615364109*c_1001_0^6 + 372683147449261/1558538454703*c_1001_0^5 - 171478920311014/4675615364109*c_1001_0^4 - 2223915350259977/14026846092327*c_1001_0^3 + 953673980450518/14026846092327*c_1001_0^2 + 647794059967831/14026846092327*c_1001_0 - 44833320434712/1558538454703, c_0011_6 + 3245805818191/14026846092327*c_1001_0^16 - 12459544363535/14026846092327*c_1001_0^15 - 2371139847167/14026846092327*c_1001_0^14 + 103693307871659/14026846092327*c_1001_0^13 - 142008943647835/14026846092327*c_1001_0^12 - 303313571361196/14026846092327*c_1001_0^11 + 283631359446728/4675615364109*c_1001_0^10 + 48802376168576/14026846092327*c_1001_0^9 - 216968225054808/1558538454703*c_1001_0^8 + 413710770981569/4675615364109*c_1001_0^7 + 674279347001378/4675615364109*c_1001_0^6 - 249658835487661/1558538454703*c_1001_0^5 - 270060260099095/4675615364109*c_1001_0^4 + 1588540839664690/14026846092327*c_1001_0^3 - 58634766955304/14026846092327*c_1001_0^2 - 476983769427482/14026846092327*c_1001_0 + 16098847371901/1558538454703, c_0101_3 - 236950189306/14026846092327*c_1001_0^16 + 2436910156682/14026846092327*c_1001_0^15 - 4911425655580/14026846092327*c_1001_0^14 - 10975640518457/14026846092327*c_1001_0^13 + 56604155683219/14026846092327*c_1001_0^12 - 21943191653591/14026846092327*c_1001_0^11 - 73204338298241/4675615364109*c_1001_0^10 + 311503549087312/14026846092327*c_1001_0^9 + 33434137717688/1558538454703*c_1001_0^8 - 295989496520462/4675615364109*c_1001_0^7 + 18880823298355/4675615364109*c_1001_0^6 + 125293669162846/1558538454703*c_1001_0^5 - 165106839695705/4675615364109*c_1001_0^4 - 695434700071843/14026846092327*c_1001_0^3 + 425529974756144/14026846092327*c_1001_0^2 + 195146075784077/14026846092327*c_1001_0 - 15657126853885/1558538454703, c_0101_5 + 321892086175/1558538454703*c_1001_0^16 - 1224264772626/1558538454703*c_1001_0^15 - 271213205466/1558538454703*c_1001_0^14 + 10249079115375/1558538454703*c_1001_0^13 - 13726888041274/1558538454703*c_1001_0^12 - 30349624963229/1558538454703*c_1001_0^11 + 83028303273432/1558538454703*c_1001_0^10 + 7175549239868/1558538454703*c_1001_0^9 - 191667470616645/1558538454703*c_1001_0^8 + 116405128377575/1558538454703*c_1001_0^7 + 200859706776662/1558538454703*c_1001_0^6 - 213745293054327/1558538454703*c_1001_0^5 - 83845890128779/1558538454703*c_1001_0^4 + 151513548100506/1558538454703*c_1001_0^3 - 2791043684798/1558538454703*c_1001_0^2 - 45542364402332/1558538454703*c_1001_0 + 12934958383939/1558538454703, c_0101_7 + 317402590/2966133663*c_1001_0^16 - 1239186863/2966133663*c_1001_0^15 - 222197222/2966133663*c_1001_0^14 + 10358260679/2966133663*c_1001_0^13 - 14382378868/2966133663*c_1001_0^12 - 30572295859/2966133663*c_1001_0^11 + 28836784898/988711221*c_1001_0^10 + 5272999844/2966133663*c_1001_0^9 - 22392372168/329570407*c_1001_0^8 + 42572386343/988711221*c_1001_0^7 + 71189425910/988711221*c_1001_0^6 - 26253612704/329570407*c_1001_0^5 - 30383753056/988711221*c_1001_0^4 + 172990076152/2966133663*c_1001_0^3 - 1033379006/2966133663*c_1001_0^2 - 57536769287/2966133663*c_1001_0 + 1432039661/329570407, c_0110_4 - 809708248465/14026846092327*c_1001_0^16 + 6125006065373/14026846092327*c_1001_0^15 - 9321823104922/14026846092327*c_1001_0^14 - 33102353200166/14026846092327*c_1001_0^13 + 127409947897066/14026846092327*c_1001_0^12 - 9691676592737/14026846092327*c_1001_0^11 - 176783647517456/4675615364109*c_1001_0^10 + 617229451806505/14026846092327*c_1001_0^9 + 90502762105950/1558538454703*c_1001_0^8 - 646514242233848/4675615364109*c_1001_0^7 - 22876728050864/4675615364109*c_1001_0^6 + 282641229721841/1558538454703*c_1001_0^5 - 340373944054010/4675615364109*c_1001_0^4 - 1567110967085383/14026846092327*c_1001_0^3 + 973003176619382/14026846092327*c_1001_0^2 + 430274093464322/14026846092327*c_1001_0 - 37678778632942/1558538454703, c_1001_0^17 - 5*c_1001_0^16 + 4*c_1001_0^15 + 32*c_1001_0^14 - 82*c_1001_0^13 - 34*c_1001_0^12 + 366*c_1001_0^11 - 325*c_1001_0^10 - 567*c_1001_0^9 + 1140*c_1001_0^8 + 15*c_1001_0^7 - 1422*c_1001_0^6 + 789*c_1001_0^5 + 694*c_1001_0^4 - 746*c_1001_0^3 - 41*c_1001_0^2 + 261*c_1001_0 - 81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB